-subalgebras of so(16), type
Number of sl(2) subalgebras: 69.
Let
be in the Cartan subalgebra. Let
be simple roots with respect to
. Then the
-characteristic, as defined by E. Dynkin, is the
-tuple
.
The actual realization of h. The coordinates of
are given with respect to the fixed original simple basis. Note that the
-characteristic is computed using
a possibly different simple basis, more precisely, with respect to any h-positive simple basis.
A regular semisimple subalgebra might contain an
such that it has no centralizer in the regular semisimple subalgebra, but the regular semisimple subalgebra might fail to be minimal containing. This happens when another minimal containing regular semisimple subalgebra of equal rank nests as a root subalgebra in the containing subalgebra. See Dynkin, Semisimple Lie subalgebras of semisimple Lie algebras, remark before Theorem 10.4.
The
submodules of the ambient Lie algebra are parametrized by their highest weight with respect to the Cartan element
of
. In turn, the highest weight is a positive integer multiple of the fundamental highest weight
.
is
-dimensional.
|
| (2, 2, 2, 2, 2, 2, 2, 2) | (14, 26, 36, 44, 50, 54, 28, 28) |
| 0 | | 560 | 280 | | |
| (2, 2, 2, 2, 2, 0, 2, 2) | (12, 22, 30, 36, 40, 42, 22, 22) |
| 0 | | 368 | 184 | | |
| (2, 2, 2, 2, 2, 2, 0, 0) | (12, 22, 30, 36, 40, 42, 21, 21) |
| 3 | | 364 | 182 | | |
| (2, 2, 2, 0, 2, 0, 2, 2) | (10, 18, 24, 28, 32, 34, 18, 18) |
| 0 | | 240 | 120 | | |
| (2, 2, 2, 2, 0, 2, 0, 0) | (10, 18, 24, 28, 30, 32, 16, 16) |
| 1 | | 224 | 112 | , | , |
| (2, 2, 2, 2, 1, 0, 1, 1) | (10, 18, 24, 28, 30, 31, 16, 16) |
| 3 | | 222 | 111 | | |
| (2, 2, 2, 2, 2, 0, 0, 0) | (10, 18, 24, 28, 30, 30, 15, 15) |
| 10 | | 220 | 110 | | |
| (2, 0, 2, 0, 2, 0, 2, 2) | (8, 14, 20, 24, 28, 30, 16, 16) |
| 0 | | 176 | 88 | | |
| (0, 2, 0, 2, 0, 2, 0, 2) | (7, 14, 19, 24, 27, 30, 15, 16) |
| 3 | | 168 | 84 | | |
| (2, 2, 0, 2, 0, 2, 0, 0) | (8, 14, 18, 22, 24, 26, 13, 13) |
| 1 | | 140 | 70 | , | , |
| (2, 2, 2, 0, 0, 2, 0, 0) | (8, 14, 18, 20, 22, 24, 12, 12) |
| 1 | | 128 | 64 | , | , |
| (2, 2, 2, 0, 1, 0, 1, 1) | (8, 14, 18, 20, 22, 23, 12, 12) |
| 3 | | 126 | 63 | | |
| (2, 2, 2, 0, 2, 0, 0, 0) | (8, 14, 18, 20, 22, 22, 11, 11) |
| 6 | | 124 | 62 | , | , |
| (2, 2, 2, 1, 0, 1, 0, 0) | (8, 14, 18, 20, 21, 22, 11, 11) |
| 6 | | 122 | 61 | | |
| (2, 2, 2, 2, 0, 0, 0, 0) | (8, 14, 18, 20, 20, 20, 10, 10) |
| 21 | | 120 | 60 | | |
| (0, 2, 0, 2, 0, 2, 0, 0) | (6, 12, 16, 20, 22, 24, 12, 12) |
| 2 | | 112 | 56 | , | , |
| (2, 0, 2, 0, 0, 2, 0, 0) | (6, 10, 14, 16, 18, 20, 10, 10) |
| 0 | | 80 | 40 | , , | , , , |
| (2, 0, 2, 0, 1, 0, 1, 1) | (6, 10, 14, 16, 18, 19, 10, 10) |
| 3 | | 78 | 39 | | |
| (2, 1, 0, 1, 1, 0, 1, 1) | (6, 10, 13, 16, 18, 19, 10, 10) |
| 3 | | 76 | 38 | | |
| (2, 0, 2, 0, 2, 0, 0, 0) | (6, 10, 14, 16, 18, 18, 9, 9) |
| 6 | | 76 | 38 | , | , |
| (0, 2, 0, 1, 1, 0, 1, 1) | (5, 10, 13, 16, 18, 19, 10, 10) |
| 3 | | 74 | 37 | | |
| (0, 2, 0, 2, 0, 0, 2, 0) | (5, 10, 13, 16, 17, 18, 10, 9) |
| 6 | | 72 | 36 | | |
| (0, 2, 0, 2, 0, 1, 0, 0) | (5, 10, 13, 16, 17, 18, 9, 9) |
| 9 | | 70 | 35 | | |
| (2, 2, 0, 0, 0, 2, 0, 0) | (6, 10, 12, 14, 16, 18, 9, 9) |
| 3 | | 68 | 34 | | |
| (2, 2, 0, 0, 2, 0, 0, 0) | (6, 10, 12, 14, 16, 16, 8, 8) |
| 4 | | 64 | 32 | , , | , , |
| (2, 2, 0, 1, 0, 1, 0, 0) | (6, 10, 12, 14, 15, 16, 8, 8) |
| 4 | | 62 | 31 | , | , |
| (2, 2, 1, 0, 0, 0, 1, 1) | (6, 10, 12, 13, 14, 15, 8, 8) |
| 10 | | 60 | 30 | | |
| (2, 2, 0, 2, 0, 0, 0, 0) | (6, 10, 12, 14, 14, 14, 7, 7) |
| 15 | | 60 | 30 | , | , |
| (0, 0, 2, 0, 0, 2, 0, 0) | (4, 8, 12, 14, 16, 18, 9, 9) |
| 3 | | 60 | 30 | | |
| (2, 2, 1, 0, 1, 0, 0, 0) | (6, 10, 12, 13, 14, 14, 7, 7) |
| 13 | | 58 | 29 | | |
| (2, 2, 2, 0, 0, 0, 0, 0) | (6, 10, 12, 12, 12, 12, 6, 6) |
| 36 | | 56 | 28 | | |
| (0, 2, 0, 0, 0, 2, 0, 0) | (4, 8, 10, 12, 14, 16, 8, 8) |
| 2 | | 48 | 24 | , | , |
| (1, 0, 1, 0, 1, 0, 1, 1) | (4, 7, 10, 12, 14, 15, 8, 8) |
| 3 | | 44 | 22 | | |
| (0, 2, 0, 0, 2, 0, 0, 0) | (4, 8, 10, 12, 14, 14, 7, 7) |
| 4 | | 44 | 22 | , , | , , |
| (0, 2, 0, 1, 0, 1, 0, 0) | (4, 8, 10, 12, 13, 14, 7, 7) |
| 5 | | 42 | 21 | , | , |
| (0, 0, 0, 2, 0, 0, 2, 0) | (3, 6, 9, 12, 13, 14, 8, 7) |
| 10 | | 40 | 20 | | |
| (1, 0, 1, 1, 0, 1, 0, 0) | (4, 7, 10, 12, 13, 14, 7, 7) |
| 6 | | 40 | 20 | | |
| (0, 2, 0, 2, 0, 0, 0, 0) | (4, 8, 10, 12, 12, 12, 6, 6) |
| 16 | | 40 | 20 | , | , |
| (2, 0, 0, 0, 2, 0, 0, 0) | (4, 6, 8, 10, 12, 12, 6, 6) |
| 4 | | 32 | 16 | , , | , , |
| (2, 0, 0, 1, 0, 1, 0, 0) | (4, 6, 8, 10, 11, 12, 6, 6) |
| 4 | | 30 | 15 | , | , |
| (2, 0, 1, 0, 0, 0, 1, 1) | (4, 6, 8, 9, 10, 11, 6, 6) |
| 10 | | 28 | 14 | | |
| (2, 0, 0, 2, 0, 0, 0, 0) | (4, 6, 8, 10, 10, 10, 5, 5) |
| 11 | | 28 | 14 | , , | , , |
| (0, 1, 0, 1, 0, 1, 0, 0) | (3, 6, 8, 10, 11, 12, 6, 6) |
| 5 | | 28 | 14 | , | , |
| (0, 1, 1, 0, 0, 0, 1, 1) | (3, 6, 8, 9, 10, 11, 6, 6) |
| 6 | | 26 | 13 | | |
| (2, 0, 1, 0, 1, 0, 0, 0) | (4, 6, 8, 9, 10, 10, 5, 5) |
| 9 | | 26 | 13 | , | , |
| (0, 2, 0, 0, 0, 0, 0, 2) | (3, 6, 7, 8, 9, 10, 5, 6) |
| 13 | | 24 | 12 | | |
| (2, 1, 0, 0, 0, 1, 0, 0) | (4, 6, 7, 8, 9, 10, 5, 5) |
| 13 | | 24 | 12 | | |
| (2, 0, 2, 0, 0, 0, 0, 0) | (4, 6, 8, 8, 8, 8, 4, 4) |
| 28 | | 24 | 12 | , | , |
| (0, 1, 1, 0, 1, 0, 0, 0) | (3, 6, 8, 9, 10, 10, 5, 5) |
| 13 | | 24 | 12 | | |
| (2, 1, 0, 1, 0, 0, 0, 0) | (4, 6, 7, 8, 8, 8, 4, 4) |
| 24 | | 22 | 11 | | |
| (0, 2, 0, 0, 0, 1, 0, 0) | (3, 6, 7, 8, 9, 10, 5, 5) |
| 12 | | 22 | 11 | | |
| (2, 2, 0, 0, 0, 0, 0, 0) | (4, 6, 6, 6, 6, 6, 3, 3) |
| 55 | | 20 | 10 | | |
| (0, 2, 0, 1, 0, 0, 0, 0) | (3, 6, 7, 8, 8, 8, 4, 4) |
| 31 | | 20 | 10 | | |
| (0, 0, 0, 0, 2, 0, 0, 0) | (2, 4, 6, 8, 10, 10, 5, 5) |
| 10 | | 20 | 10 | | |
| (0, 0, 0, 1, 0, 1, 0, 0) | (2, 4, 6, 8, 9, 10, 5, 5) |
| 9 | | 18 | 9 | | |
| (0, 0, 0, 2, 0, 0, 0, 0) | (2, 4, 6, 8, 8, 8, 4, 4) |
| 12 | | 16 | 8 | , , | , , |
| (0, 0, 1, 0, 1, 0, 0, 0) | (2, 4, 6, 7, 8, 8, 4, 4) |
| 9 | | 14 | 7 | , | , |
| (0, 1, 0, 0, 0, 1, 0, 0) | (2, 4, 5, 6, 7, 8, 4, 4) |
| 12 | | 12 | 6 | , | , |
| (0, 0, 2, 0, 0, 0, 0, 0) | (2, 4, 6, 6, 6, 6, 3, 3) |
| 24 | | 12 | 6 | , | , |
| (1, 0, 0, 0, 0, 0, 1, 1) | (2, 3, 4, 5, 6, 7, 4, 4) |
| 21 | | 10 | 5 | | |
| (0, 1, 0, 1, 0, 0, 0, 0) | (2, 4, 5, 6, 6, 6, 3, 3) |
| 19 | | 10 | 5 | , | , |
| (0, 0, 0, 0, 0, 0, 2, 0) | (1, 2, 3, 4, 5, 6, 4, 3) |
| 36 | | 8 | 4 | | |
| (1, 0, 0, 0, 1, 0, 0, 0) | (2, 3, 4, 5, 6, 6, 3, 3) |
| 20 | | 8 | 4 | | |
| (0, 2, 0, 0, 0, 0, 0, 0) | (2, 4, 4, 4, 4, 4, 2, 2) |
| 46 | | 8 | 4 | , | , |
| (1, 0, 1, 0, 0, 0, 0, 0) | (2, 3, 4, 4, 4, 4, 2, 2) |
| 39 | | 6 | 3 | | |
| (0, 0, 0, 0, 0, 1, 0, 0) | (1, 2, 3, 4, 5, 6, 3, 3) |
| 27 | | 6 | 3 | | |
| (2, 0, 0, 0, 0, 0, 0, 0) | (2, 2, 2, 2, 2, 2, 1, 1) |
| 78 | | 4 | 2 | | |
| (0, 0, 0, 1, 0, 0, 0, 0) | (1, 2, 3, 4, 4, 4, 2, 2) |
| 38 | | 4 | 2 | | |
| (0, 1, 0, 0, 0, 0, 0, 0) | (1, 2, 2, 2, 2, 2, 1, 1) |
| 69 | | 2 | 1 | | |
Length longest root ambient algebra squared/4= 1/2
Given a root subsystem
, and a root sub-subsystem
, in (10.2) of Semisimple subalgebras of semisimple Lie algebras, E. Dynkin defines a numerical constant
(which we call Dynkin epsilon).
In Theorem 10.3, Dynkin proves that if an
is an
-subalgebra in the root subalgebra generated by
, such that it has characteristic 2 for all simple roots of
lying in
, then
.
H that wasn't realized on the first attempt but was ultimately realized: (10, 18, 24, 28, 30, 32, 16, 16),
Type: .
It turns out that in the current case of Cartan element h = (10, 18, 24, 28, 30, 32, 16, 16) we have that, for a certain P, e(P, P_0) equals 0, but I failed to realize the corresponding sl(2) as a subalgebra of that P.
However, it turns out that h is indeed an S-subalgebra of a smaller root subalgebra P'.
H that wasn't realized on the first attempt but was ultimately realized: (8, 14, 18, 22, 24, 26, 13, 13),
Type: .
It turns out that in the current case of Cartan element h = (8, 14, 18, 22, 24, 26, 13, 13) we have that, for a certain P, e(P, P_0) equals 0, but I failed to realize the corresponding sl(2) as a subalgebra of that P.
However, it turns out that h is indeed an S-subalgebra of a smaller root subalgebra P'.
H that wasn't realized on the first attempt but was ultimately realized: (8, 14, 18, 20, 22, 24, 12, 12),
Type: .
It turns out that in the current case of Cartan element h = (8, 14, 18, 20, 22, 24, 12, 12) we have that, for a certain P, e(P, P_0) equals 0, but I failed to realize the corresponding sl(2) as a subalgebra of that P.
However, it turns out that h is indeed an S-subalgebra of a smaller root subalgebra P'.
H that wasn't realized on the first attempt but was ultimately realized: (8, 14, 18, 20, 22, 22, 11, 11),
Type: .
It turns out that in the current case of Cartan element h = (8, 14, 18, 20, 22, 22, 11, 11) we have that, for a certain P, e(P, P_0) equals 0, but I failed to realize the corresponding sl(2) as a subalgebra of that P.
However, it turns out that h is indeed an S-subalgebra of a smaller root subalgebra P'.
H that wasn't realized on the first attempt but was ultimately realized: (6, 10, 14, 16, 18, 20, 10, 10),
Type: .
It turns out that in the current case of Cartan element h = (6, 10, 14, 16, 18, 20, 10, 10) we have that, for a certain P, e(P, P_0) equals 0, but I failed to realize the corresponding sl(2) as a subalgebra of that P.
However, it turns out that h is indeed an S-subalgebra of a smaller root subalgebra P'.
H that wasn't realized on the first attempt but was ultimately realized: (6, 10, 14, 16, 18, 18, 9, 9),
Type: .
It turns out that in the current case of Cartan element h = (6, 10, 14, 16, 18, 18, 9, 9) we have that, for a certain P, e(P, P_0) equals 0, but I failed to realize the corresponding sl(2) as a subalgebra of that P.
However, it turns out that h is indeed an S-subalgebra of a smaller root subalgebra P'.
H that wasn't realized on the first attempt but was ultimately realized: (6, 10, 12, 14, 16, 16, 8, 8),
Type: .
It turns out that in the current case of Cartan element h = (6, 10, 12, 14, 16, 16, 8, 8) we have that, for a certain P, e(P, P_0) equals 0, but I failed to realize the corresponding sl(2) as a subalgebra of that P.
However, it turns out that h is indeed an S-subalgebra of a smaller root subalgebra P'.
H that wasn't realized on the first attempt but was ultimately realized: (6, 10, 12, 14, 15, 16, 8, 8),
Type: .
It turns out that in the current case of Cartan element h = (6, 10, 12, 14, 15, 16, 8, 8) we have that, for a certain P, e(P, P_0) equals 0, but I failed to realize the corresponding sl(2) as a subalgebra of that P.
However, it turns out that h is indeed an S-subalgebra of a smaller root subalgebra P'.
H that wasn't realized on the first attempt but was ultimately realized: (6, 10, 12, 14, 14, 14, 7, 7),
Type: .
It turns out that in the current case of Cartan element h = (6, 10, 12, 14, 14, 14, 7, 7) we have that, for a certain P, e(P, P_0) equals 0, but I failed to realize the corresponding sl(2) as a subalgebra of that P.
However, it turns out that h is indeed an S-subalgebra of a smaller root subalgebra P'.
H that wasn't realized on the first attempt but was ultimately realized: (4, 8, 10, 12, 14, 16, 8, 8),
Type: .
It turns out that in the current case of Cartan element h = (4, 8, 10, 12, 14, 16, 8, 8) we have that, for a certain P, e(P, P_0) equals 0, but I failed to realize the corresponding sl(2) as a subalgebra of that P.
However, it turns out that h is indeed an S-subalgebra of a smaller root subalgebra P'.
H that wasn't realized on the first attempt but was ultimately realized: (4, 6, 8, 10, 12, 12, 6, 6),
Type: .
It turns out that in the current case of Cartan element h = (4, 6, 8, 10, 12, 12, 6, 6) we have that, for a certain P, e(P, P_0) equals 0, but I failed to realize the corresponding sl(2) as a subalgebra of that P.
However, it turns out that h is indeed an S-subalgebra of a smaller root subalgebra P'.
H that wasn't realized on the first attempt but was ultimately realized: (4, 6, 8, 10, 11, 12, 6, 6),
Type: .
It turns out that in the current case of Cartan element h = (4, 6, 8, 10, 11, 12, 6, 6) we have that, for a certain P, e(P, P_0) equals 0, but I failed to realize the corresponding sl(2) as a subalgebra of that P.
However, it turns out that h is indeed an S-subalgebra of a smaller root subalgebra P'.
H that wasn't realized on the first attempt but was ultimately realized: (4, 6, 8, 10, 10, 10, 5, 5),
Type: .
It turns out that in the current case of Cartan element h = (4, 6, 8, 10, 10, 10, 5, 5) we have that, for a certain P, e(P, P_0) equals 0, but I failed to realize the corresponding sl(2) as a subalgebra of that P.
However, it turns out that h is indeed an S-subalgebra of a smaller root subalgebra P'.
H that wasn't realized on the first attempt but was ultimately realized: (4, 6, 8, 9, 10, 10, 5, 5),
Type: .
It turns out that in the current case of Cartan element h = (4, 6, 8, 9, 10, 10, 5, 5) we have that, for a certain P, e(P, P_0) equals 0, but I failed to realize the corresponding sl(2) as a subalgebra of that P.
However, it turns out that h is indeed an S-subalgebra of a smaller root subalgebra P'.
H that wasn't realized on the first attempt but was ultimately realized: (4, 6, 8, 8, 8, 8, 4, 4),
Type: .
It turns out that in the current case of Cartan element h = (4, 6, 8, 8, 8, 8, 4, 4) we have that, for a certain P, e(P, P_0) equals 0, but I failed to realize the corresponding sl(2) as a subalgebra of that P.
However, it turns out that h is indeed an S-subalgebra of a smaller root subalgebra P'.
H that wasn't realized on the first attempt but was ultimately realized: (2, 4, 6, 8, 8, 8, 4, 4),
Type: .
It turns out that in the current case of Cartan element h = (2, 4, 6, 8, 8, 8, 4, 4) we have that, for a certain P, e(P, P_0) equals 0, but I failed to realize the corresponding sl(2) as a subalgebra of that P.
However, it turns out that h is indeed an S-subalgebra of a smaller root subalgebra P'.
H that wasn't realized on the first attempt but was ultimately realized: (2, 4, 6, 7, 8, 8, 4, 4),
Type: .
It turns out that in the current case of Cartan element h = (2, 4, 6, 7, 8, 8, 4, 4) we have that, for a certain P, e(P, P_0) equals 0, but I failed to realize the corresponding sl(2) as a subalgebra of that P.
However, it turns out that h is indeed an S-subalgebra of a smaller root subalgebra P'.
H that wasn't realized on the first attempt but was ultimately realized: (2, 4, 6, 6, 6, 6, 3, 3),
Type: .
It turns out that in the current case of Cartan element h = (2, 4, 6, 6, 6, 6, 3, 3) we have that, for a certain P, e(P, P_0) equals 0, but I failed to realize the corresponding sl(2) as a subalgebra of that P.
However, it turns out that h is indeed an S-subalgebra of a smaller root subalgebra P'.
H that wasn't realized on the first attempt but was ultimately realized: (2, 4, 5, 6, 7, 8, 4, 4),
Type: .
It turns out that in the current case of Cartan element h = (2, 4, 5, 6, 7, 8, 4, 4) we have that, for a certain P, e(P, P_0) equals 0, but I failed to realize the corresponding sl(2) as a subalgebra of that P.
However, it turns out that h is indeed an S-subalgebra of a smaller root subalgebra P'.
H that wasn't realized on the first attempt but was ultimately realized: (2, 4, 5, 6, 6, 6, 3, 3),
Type: .
It turns out that in the current case of Cartan element h = (2, 4, 5, 6, 6, 6, 3, 3) we have that, for a certain P, e(P, P_0) equals 0, but I failed to realize the corresponding sl(2) as a subalgebra of that P.
However, it turns out that h is indeed an S-subalgebra of a smaller root subalgebra P'.
Extensions of the rationals used (4 total):
,
,
,
h-characteristic: (2, 2, 2, 2, 2, 2, 2, 2)Length of the weight dual to h: 560
Simple basis ambient algebra w.r.t defining h: 8 vectors:
(1, 0, 0, 0, 0, 0, 0, 0), (0, 1, 0, 0, 0, 0, 0, 0), (0, 0, 1, 0, 0, 0, 0, 0), (0, 0, 0, 1, 0, 0, 0, 0), (0, 0, 0, 0, 1, 0, 0, 0), (0, 0, 0, 0, 0, 1, 0, 0), (0, 0, 0, 0, 0, 0, 1, 0), (0, 0, 0, 0, 0, 0, 0, 1)
Containing regular semisimple subalgebra number 1:
-module decomposition of the ambient Lie algebra:
Below is one possible realization of the sl(2) subalgebra.
Lie brackets of the above elements.
Centralizer type:
Unfold the hidden panel for more information.
Unknown elements.
Participating positive roots: 0 vectors. .
Lie brackets of the unknowns.
The polynomial system that corresponds to finding the h, e, f triple:
Starting h, e, f triple. H is computed according to Dynkin, and the coefficients of f are arbitrarily chosen.
More precisely, the chevalley generators participating in f are ordered in the order in which their roots appear, and the coefficients are chosen arbitrarily. More precisely, the n^th coefficient either 1) equals (n-1)^2+1 or 2) equals a hard-coded number that is specific to the given ambient Lie algebra, dynkin index and h element. Whenever a hard-coded coefficient is used, it was selected so it results in fast computations. The selection was discovered through manual experimentation. As of writing, the arbitrary coefficient selection happens
here.
Matrix form of the system we are trying to solve:
The unknown Kostant-Sekiguchi elements.
The polynomial system we need to solve.
h-characteristic: (2, 2, 2, 2, 2, 0, 2, 2)Length of the weight dual to h: 368
Simple basis ambient algebra w.r.t defining h: 8 vectors:
(1, 0, 0, 0, 0, 0, 0, 0), (0, 1, 0, 0, 0, 0, 0, 0), (0, 0, 1, 0, 0, 0, 0, 0), (0, 0, 0, 1, 0, 0, 0, 0), (0, 0, 0, 0, 1, 0, 0, 0), (0, 0, 0, 0, 0, 1, 0, 0), (0, 0, 0, 0, 0, 0, 1, 0), (0, 0, 0, 0, 0, 0, 0, 1)
Containing regular semisimple subalgebra number 1:
-module decomposition of the ambient Lie algebra:
Below is one possible realization of the sl(2) subalgebra.
Lie brackets of the above elements.
Centralizer type:
Unfold the hidden panel for more information.
Unknown elements.
Participating positive roots: 0 vectors. .
Lie brackets of the unknowns.
The polynomial system that corresponds to finding the h, e, f triple:
Starting h, e, f triple. H is computed according to Dynkin, and the coefficients of f are arbitrarily chosen.
More precisely, the chevalley generators participating in f are ordered in the order in which their roots appear, and the coefficients are chosen arbitrarily. More precisely, the n^th coefficient either 1) equals (n-1)^2+1 or 2) equals a hard-coded number that is specific to the given ambient Lie algebra, dynkin index and h element. Whenever a hard-coded coefficient is used, it was selected so it results in fast computations. The selection was discovered through manual experimentation. As of writing, the arbitrary coefficient selection happens
here.
Matrix form of the system we are trying to solve:
The unknown Kostant-Sekiguchi elements.
The polynomial system we need to solve.
h-characteristic: (2, 2, 2, 2, 2, 2, 0, 0)Length of the weight dual to h: 364
Simple basis ambient algebra w.r.t defining h: 8 vectors:
(1, 0, 0, 0, 0, 0, 0, 0), (0, 1, 0, 0, 0, 0, 0, 0), (0, 0, 1, 0, 0, 0, 0, 0), (0, 0, 0, 1, 0, 0, 0, 0), (0, 0, 0, 0, 1, 0, 0, 0), (0, 0, 0, 0, 0, 1, 0, 0), (0, 0, 0, 0, 0, 0, 1, 0), (0, 0, 0, 0, 0, 0, 0, 1)
Containing regular semisimple subalgebra number 1:
-module decomposition of the ambient Lie algebra:
Below is one possible realization of the sl(2) subalgebra.
Lie brackets of the above elements.
Centralizer type:
Killing form square of Cartan element dual to ambient long root: 56
Basis of the centralizer (dimension: 3):
,
,
Basis of centralizer intersected with cartan (dimension: 1):
Cartan of centralizer (dimension: 1):
Cartan-generating semisimple element:
adjoint action:
Characteristic polynomial ad H:
Factorization of characteristic polynomial of ad H: (x )(x -2)(x +2)
Eigenvalues of ad H:
,
,
3 eigenvectors of ad H:
,
,
Centralizer type: A^{2}_1
Reductive components (1 total):
Scalar product computed:
Simple basis of Cartan of centralizer (1 total):
matching e:
verification:
adjoint action:
Linear space basis of intersection of centralizer and ambient Cartan:
matching e:
verification:
adjoint action:
Elements in Cartan dual to root system: (1), (-1)
Co-symmetric Cartan Matrix of centralizer, scaled by ambient killing form:
Unfold the hidden panel for more information.
Unknown elements.
Participating positive roots: 0 vectors. .
Lie brackets of the unknowns.
The polynomial system that corresponds to finding the h, e, f triple:
Starting h, e, f triple. H is computed according to Dynkin, and the coefficients of f are arbitrarily chosen.
More precisely, the chevalley generators participating in f are ordered in the order in which their roots appear, and the coefficients are chosen arbitrarily. More precisely, the n^th coefficient either 1) equals (n-1)^2+1 or 2) equals a hard-coded number that is specific to the given ambient Lie algebra, dynkin index and h element. Whenever a hard-coded coefficient is used, it was selected so it results in fast computations. The selection was discovered through manual experimentation. As of writing, the arbitrary coefficient selection happens
here.
Matrix form of the system we are trying to solve:
The unknown Kostant-Sekiguchi elements.
The polynomial system we need to solve.
h-characteristic: (2, 2, 2, 0, 2, 0, 2, 2)Length of the weight dual to h: 240
Simple basis ambient algebra w.r.t defining h: 8 vectors:
(1, 0, 0, 0, 0, 0, 0, 0), (0, 1, 0, 0, 0, 0, 0, 0), (0, 0, 1, 0, 0, 0, 0, 0), (0, 0, 0, 1, 0, 0, 0, 0), (0, 0, 0, 0, 1, 0, 0, 0), (0, 0, 0, 0, 0, 1, 0, 0), (0, 0, 0, 0, 0, 0, 1, 0), (0, 0, 0, 0, 0, 0, 0, 1)
Containing regular semisimple subalgebra number 1:
-module decomposition of the ambient Lie algebra:
Below is one possible realization of the sl(2) subalgebra.
Lie brackets of the above elements.
Centralizer type:
Unfold the hidden panel for more information.
Unknown elements.
Participating positive roots: 0 vectors. .
Lie brackets of the unknowns.
The polynomial system that corresponds to finding the h, e, f triple:
Starting h, e, f triple. H is computed according to Dynkin, and the coefficients of f are arbitrarily chosen.
More precisely, the chevalley generators participating in f are ordered in the order in which their roots appear, and the coefficients are chosen arbitrarily. More precisely, the n^th coefficient either 1) equals (n-1)^2+1 or 2) equals a hard-coded number that is specific to the given ambient Lie algebra, dynkin index and h element. Whenever a hard-coded coefficient is used, it was selected so it results in fast computations. The selection was discovered through manual experimentation. As of writing, the arbitrary coefficient selection happens
here.
Matrix form of the system we are trying to solve:
The unknown Kostant-Sekiguchi elements.
The polynomial system we need to solve.
h-characteristic: (2, 2, 2, 2, 0, 2, 0, 0)Length of the weight dual to h: 224
Simple basis ambient algebra w.r.t defining h: 8 vectors:
(1, 0, 0, 0, 0, 0, 0, 0), (0, 1, 0, 0, 0, 0, 0, 0), (0, 0, 1, 0, 0, 0, 0, 0), (0, 0, 0, 1, 0, 0, 0, 0), (0, 0, 0, 0, 1, 0, 0, 0), (0, 0, 0, 0, 0, 1, 0, 0), (0, 0, 0, 0, 0, 0, 1, 0), (0, 0, 0, 0, 0, 0, 0, 1)
Number of containing regular semisimple subalgebras: 2
Containing regular semisimple subalgebra number 1:
Containing regular semisimple subalgebra number 2:
-module decomposition of the ambient Lie algebra:
Below is one possible realization of the sl(2) subalgebra.
Lie brackets of the above elements.
Centralizer type:
Unfold the hidden panel for more information.
Unknown elements.
Participating positive roots: 0 vectors. .
Lie brackets of the unknowns.
The polynomial system that corresponds to finding the h, e, f triple:
Starting h, e, f triple. H is computed according to Dynkin, and the coefficients of f are arbitrarily chosen.
More precisely, the chevalley generators participating in f are ordered in the order in which their roots appear, and the coefficients are chosen arbitrarily. More precisely, the n^th coefficient either 1) equals (n-1)^2+1 or 2) equals a hard-coded number that is specific to the given ambient Lie algebra, dynkin index and h element. Whenever a hard-coded coefficient is used, it was selected so it results in fast computations. The selection was discovered through manual experimentation. As of writing, the arbitrary coefficient selection happens
here.
Matrix form of the system we are trying to solve:
The unknown Kostant-Sekiguchi elements.
The polynomial system we need to solve.
h-characteristic: (2, 2, 2, 2, 1, 0, 1, 1)Length of the weight dual to h: 222
Simple basis ambient algebra w.r.t defining h: 8 vectors:
(1, 0, 0, 0, 0, 0, 0, 0), (0, 1, 0, 0, 0, 0, 0, 0), (0, 0, 1, 0, 0, 0, 0, 0), (0, 0, 0, 1, 0, 0, 0, 0), (0, 0, 0, 0, 1, 0, 0, 0), (0, 0, 0, 0, 0, 1, 0, 0), (0, 0, 0, 0, 0, 0, 1, 0), (0, 0, 0, 0, 0, 0, 0, 1)
Containing regular semisimple subalgebra number 1:
-module decomposition of the ambient Lie algebra:
Below is one possible realization of the sl(2) subalgebra.
Lie brackets of the above elements.
Centralizer type:
Unfold the hidden panel for more information.
Unknown elements.
Participating positive roots: 0 vectors. .
Lie brackets of the unknowns.
The polynomial system that corresponds to finding the h, e, f triple:
Starting h, e, f triple. H is computed according to Dynkin, and the coefficients of f are arbitrarily chosen.
More precisely, the chevalley generators participating in f are ordered in the order in which their roots appear, and the coefficients are chosen arbitrarily. More precisely, the n^th coefficient either 1) equals (n-1)^2+1 or 2) equals a hard-coded number that is specific to the given ambient Lie algebra, dynkin index and h element. Whenever a hard-coded coefficient is used, it was selected so it results in fast computations. The selection was discovered through manual experimentation. As of writing, the arbitrary coefficient selection happens
here.
Matrix form of the system we are trying to solve:
The unknown Kostant-Sekiguchi elements.
The polynomial system we need to solve.
h-characteristic: (2, 2, 2, 2, 2, 0, 0, 0)Length of the weight dual to h: 220
Simple basis ambient algebra w.r.t defining h: 8 vectors:
(1, 0, 0, 0, 0, 0, 0, 0), (0, 1, 0, 0, 0, 0, 0, 0), (0, 0, 1, 0, 0, 0, 0, 0), (0, 0, 0, 1, 0, 0, 0, 0), (0, 0, 0, 0, 1, 0, 0, 0), (0, 0, 0, 0, 0, 1, 0, 0), (0, 0, 0, 0, 0, 0, 1, 0), (0, 0, 0, 0, 0, 0, 0, 1)
Containing regular semisimple subalgebra number 1:
-module decomposition of the ambient Lie algebra:
Below is one possible realization of the sl(2) subalgebra.
Lie brackets of the above elements.
Centralizer type:
Killing form square of Cartan element dual to ambient long root: 56
Basis of the centralizer (dimension: 10):
,
,
,
,
,
,
,
,
,
Basis of centralizer intersected with cartan (dimension: 2):
,
Cartan of centralizer (dimension: 2):
,
Cartan-generating semisimple element:
adjoint action:
Characteristic polynomial ad H:
Factorization of characteristic polynomial of ad H: (x )(x )(x -18)(x -10)(x -8)(x -2)(x +2)(x +8)(x +10)(x +18)
Eigenvalues of ad H:
,
,
,
,
,
,
,
,
10 eigenvectors of ad H:
,
,
,
,
,
,
,
,
,
Centralizer type: B^{1}_2
Reductive components (1 total):
Scalar product computed:
Simple basis of Cartan of centralizer (2 total):
matching e:
verification:
adjoint action:
matching e:
verification:
adjoint action:
Linear space basis of intersection of centralizer and ambient Cartan:
matching e:
verification:
adjoint action:
matching e:
verification:
adjoint action:
Elements in Cartan dual to root system: (1, 1), (-1, -1), (1, 2), (-1, -2), (1, 0), (-1, 0), (0, 1), (0, -1)
Co-symmetric Cartan Matrix of centralizer, scaled by ambient killing form:
Unfold the hidden panel for more information.
Unknown elements.
Participating positive roots: 0 vectors. .
Lie brackets of the unknowns.
The polynomial system that corresponds to finding the h, e, f triple:
Starting h, e, f triple. H is computed according to Dynkin, and the coefficients of f are arbitrarily chosen.
More precisely, the chevalley generators participating in f are ordered in the order in which their roots appear, and the coefficients are chosen arbitrarily. More precisely, the n^th coefficient either 1) equals (n-1)^2+1 or 2) equals a hard-coded number that is specific to the given ambient Lie algebra, dynkin index and h element. Whenever a hard-coded coefficient is used, it was selected so it results in fast computations. The selection was discovered through manual experimentation. As of writing, the arbitrary coefficient selection happens
here.
Matrix form of the system we are trying to solve:
The unknown Kostant-Sekiguchi elements.
The polynomial system we need to solve.
h-characteristic: (2, 0, 2, 0, 2, 0, 2, 2)Length of the weight dual to h: 176
Simple basis ambient algebra w.r.t defining h: 8 vectors:
(1, 0, 0, 0, 0, 0, 0, 0), (0, 1, 0, 0, 0, 0, 0, 0), (0, 0, 1, 0, 0, 0, 0, 0), (0, 0, 0, 1, 0, 0, 0, 0), (0, 0, 0, 0, 1, 0, 0, 0), (0, 0, 0, 0, 0, 1, 0, 0), (0, 0, 0, 0, 0, 0, 1, 0), (0, 0, 0, 0, 0, 0, 0, 1)
Containing regular semisimple subalgebra number 1:
-module decomposition of the ambient Lie algebra:
Below is one possible realization of the sl(2) subalgebra.
Lie brackets of the above elements.
Centralizer type:
Unfold the hidden panel for more information.
Unknown elements.
Participating positive roots: 0 vectors. .
Lie brackets of the unknowns.
The polynomial system that corresponds to finding the h, e, f triple:
Starting h, e, f triple. H is computed according to Dynkin, and the coefficients of f are arbitrarily chosen.
More precisely, the chevalley generators participating in f are ordered in the order in which their roots appear, and the coefficients are chosen arbitrarily. More precisely, the n^th coefficient either 1) equals (n-1)^2+1 or 2) equals a hard-coded number that is specific to the given ambient Lie algebra, dynkin index and h element. Whenever a hard-coded coefficient is used, it was selected so it results in fast computations. The selection was discovered through manual experimentation. As of writing, the arbitrary coefficient selection happens
here.
Matrix form of the system we are trying to solve:
The unknown Kostant-Sekiguchi elements.
The polynomial system we need to solve.
h-characteristic: (0, 2, 0, 2, 0, 2, 0, 2)Length of the weight dual to h: 168
Simple basis ambient algebra w.r.t defining h: 8 vectors:
(1, 0, 0, 0, 0, 0, 0, 0), (0, 1, 0, 0, 0, 0, 0, 0), (0, 0, 1, 0, 0, 0, 0, 0), (0, 0, 0, 1, 0, 0, 0, 0), (0, 0, 0, 0, 1, 0, 0, 0), (0, 0, 0, 0, 0, 1, 0, 0), (0, 0, 0, 0, 0, 0, 1, 0), (0, 0, 0, 0, 0, 0, 0, 1)
Containing regular semisimple subalgebra number 1:
-module decomposition of the ambient Lie algebra:
Below is one possible realization of the sl(2) subalgebra.
Lie brackets of the above elements.
Centralizer type:
Killing form square of Cartan element dual to ambient long root: 56
Basis of the centralizer (dimension: 3):
,
,
Basis of centralizer intersected with cartan (dimension: 1):
Cartan of centralizer (dimension: 1):
Cartan-generating semisimple element:
adjoint action:
Characteristic polynomial ad H:
Factorization of characteristic polynomial of ad H: (x )(x -2)(x +2)
Eigenvalues of ad H:
,
,
3 eigenvectors of ad H:
,
,
Centralizer type: A^{4}_1
Reductive components (1 total):
Scalar product computed:
Simple basis of Cartan of centralizer (1 total):
matching e:
verification:
adjoint action:
Linear space basis of intersection of centralizer and ambient Cartan:
matching e:
verification:
adjoint action:
Elements in Cartan dual to root system: (1), (-1)
Co-symmetric Cartan Matrix of centralizer, scaled by ambient killing form:
Unfold the hidden panel for more information.
Unknown elements.
Participating positive roots: 0 vectors. .
Lie brackets of the unknowns.
The polynomial system that corresponds to finding the h, e, f triple:
Starting h, e, f triple. H is computed according to Dynkin, and the coefficients of f are arbitrarily chosen.
More precisely, the chevalley generators participating in f are ordered in the order in which their roots appear, and the coefficients are chosen arbitrarily. More precisely, the n^th coefficient either 1) equals (n-1)^2+1 or 2) equals a hard-coded number that is specific to the given ambient Lie algebra, dynkin index and h element. Whenever a hard-coded coefficient is used, it was selected so it results in fast computations. The selection was discovered through manual experimentation. As of writing, the arbitrary coefficient selection happens
here.
Matrix form of the system we are trying to solve:
The unknown Kostant-Sekiguchi elements.
The polynomial system we need to solve.
h-characteristic: (2, 2, 0, 2, 0, 2, 0, 0)Length of the weight dual to h: 140
Simple basis ambient algebra w.r.t defining h: 8 vectors:
(1, 0, 0, 0, 0, 0, 0, 0), (0, 1, 0, 0, 0, 0, 0, 0), (0, 0, 1, 0, 0, 0, 0, 0), (0, 0, 0, 1, 0, 0, 0, 0), (0, 0, 0, 0, 1, 0, 0, 0), (0, 0, 0, 0, 0, 1, 0, 0), (0, 0, 0, 0, 0, 0, 1, 0), (0, 0, 0, 0, 0, 0, 0, 1)
Number of containing regular semisimple subalgebras: 2
Containing regular semisimple subalgebra number 1:
Containing regular semisimple subalgebra number 2:
-module decomposition of the ambient Lie algebra:
Below is one possible realization of the sl(2) subalgebra.
Lie brackets of the above elements.
Centralizer type:
Unfold the hidden panel for more information.
Unknown elements.
Participating positive roots: 0 vectors. .
Lie brackets of the unknowns.
The polynomial system that corresponds to finding the h, e, f triple:
Starting h, e, f triple. H is computed according to Dynkin, and the coefficients of f are arbitrarily chosen.
More precisely, the chevalley generators participating in f are ordered in the order in which their roots appear, and the coefficients are chosen arbitrarily. More precisely, the n^th coefficient either 1) equals (n-1)^2+1 or 2) equals a hard-coded number that is specific to the given ambient Lie algebra, dynkin index and h element. Whenever a hard-coded coefficient is used, it was selected so it results in fast computations. The selection was discovered through manual experimentation. As of writing, the arbitrary coefficient selection happens
here.
Matrix form of the system we are trying to solve:
The unknown Kostant-Sekiguchi elements.
The polynomial system we need to solve.
h-characteristic: (2, 2, 2, 0, 0, 2, 0, 0)Length of the weight dual to h: 128
Simple basis ambient algebra w.r.t defining h: 8 vectors:
(1, 0, 0, 0, 0, 0, 0, 0), (0, 1, 0, 0, 0, 0, 0, 0), (0, 0, 1, 0, 0, 0, 0, 0), (0, 0, 0, 1, 0, 0, 0, 0), (0, 0, 0, 0, 1, 0, 0, 0), (0, 0, 0, 0, 0, 1, 0, 0), (0, 0, 0, 0, 0, 0, 1, 0), (0, 0, 0, 0, 0, 0, 0, 1)
Number of containing regular semisimple subalgebras: 2
Containing regular semisimple subalgebra number 1:
Containing regular semisimple subalgebra number 2:
-module decomposition of the ambient Lie algebra:
Below is one possible realization of the sl(2) subalgebra.
Lie brackets of the above elements.
Centralizer type:
Unfold the hidden panel for more information.
Unknown elements.
Participating positive roots: 0 vectors. .
Lie brackets of the unknowns.
The polynomial system that corresponds to finding the h, e, f triple:
Starting h, e, f triple. H is computed according to Dynkin, and the coefficients of f are arbitrarily chosen.
More precisely, the chevalley generators participating in f are ordered in the order in which their roots appear, and the coefficients are chosen arbitrarily. More precisely, the n^th coefficient either 1) equals (n-1)^2+1 or 2) equals a hard-coded number that is specific to the given ambient Lie algebra, dynkin index and h element. Whenever a hard-coded coefficient is used, it was selected so it results in fast computations. The selection was discovered through manual experimentation. As of writing, the arbitrary coefficient selection happens
here.
Matrix form of the system we are trying to solve:
The unknown Kostant-Sekiguchi elements.
The polynomial system we need to solve.
h-characteristic: (2, 2, 2, 0, 1, 0, 1, 1)Length of the weight dual to h: 126
Simple basis ambient algebra w.r.t defining h: 8 vectors:
(1, 0, 0, 0, 0, 0, 0, 0), (0, 1, 0, 0, 0, 0, 0, 0), (0, 0, 1, 0, 0, 0, 0, 0), (0, 0, 0, 1, 0, 0, 0, 0), (0, 0, 0, 0, 1, 0, 0, 0), (0, 0, 0, 0, 0, 1, 0, 0), (0, 0, 0, 0, 0, 0, 1, 0), (0, 0, 0, 0, 0, 0, 0, 1)
Containing regular semisimple subalgebra number 1:
-module decomposition of the ambient Lie algebra:
Below is one possible realization of the sl(2) subalgebra.
Lie brackets of the above elements.
Centralizer type:
Unfold the hidden panel for more information.
Unknown elements.
Participating positive roots: 0 vectors. .
Lie brackets of the unknowns.
The polynomial system that corresponds to finding the h, e, f triple:
Starting h, e, f triple. H is computed according to Dynkin, and the coefficients of f are arbitrarily chosen.
More precisely, the chevalley generators participating in f are ordered in the order in which their roots appear, and the coefficients are chosen arbitrarily. More precisely, the n^th coefficient either 1) equals (n-1)^2+1 or 2) equals a hard-coded number that is specific to the given ambient Lie algebra, dynkin index and h element. Whenever a hard-coded coefficient is used, it was selected so it results in fast computations. The selection was discovered through manual experimentation. As of writing, the arbitrary coefficient selection happens
here.
Matrix form of the system we are trying to solve:
The unknown Kostant-Sekiguchi elements.
The polynomial system we need to solve.
h-characteristic: (2, 2, 2, 0, 2, 0, 0, 0)Length of the weight dual to h: 124
Simple basis ambient algebra w.r.t defining h: 8 vectors:
(1, 0, 0, 0, 0, 0, 0, 0), (0, 1, 0, 0, 0, 0, 0, 0), (0, 0, 1, 0, 0, 0, 0, 0), (0, 0, 0, 1, 0, 0, 0, 0), (0, 0, 0, 0, 1, 0, 0, 0), (0, 0, 0, 0, 0, 1, 0, 0), (0, 0, 0, 0, 0, 0, 1, 0), (0, 0, 0, 0, 0, 0, 0, 1)
Number of containing regular semisimple subalgebras: 2
Containing regular semisimple subalgebra number 1:
Containing regular semisimple subalgebra number 2:
-module decomposition of the ambient Lie algebra:
Below is one possible realization of the sl(2) subalgebra.
Lie brackets of the above elements.
Centralizer type:
Unfold the hidden panel for more information.
Unknown elements.
Participating positive roots: 0 vectors. .
Lie brackets of the unknowns.
The polynomial system that corresponds to finding the h, e, f triple:
Starting h, e, f triple. H is computed according to Dynkin, and the coefficients of f are arbitrarily chosen.
More precisely, the chevalley generators participating in f are ordered in the order in which their roots appear, and the coefficients are chosen arbitrarily. More precisely, the n^th coefficient either 1) equals (n-1)^2+1 or 2) equals a hard-coded number that is specific to the given ambient Lie algebra, dynkin index and h element. Whenever a hard-coded coefficient is used, it was selected so it results in fast computations. The selection was discovered through manual experimentation. As of writing, the arbitrary coefficient selection happens
here.
Matrix form of the system we are trying to solve:
The unknown Kostant-Sekiguchi elements.
The polynomial system we need to solve.
h-characteristic: (2, 2, 2, 1, 0, 1, 0, 0)Length of the weight dual to h: 122
Simple basis ambient algebra w.r.t defining h: 8 vectors:
(1, 0, 0, 0, 0, 0, 0, 0), (0, 1, 0, 0, 0, 0, 0, 0), (0, 0, 1, 0, 0, 0, 0, 0), (0, 0, 0, 1, 0, 0, 0, 0), (0, 0, 0, 0, 1, 0, 0, 0), (0, 0, 0, 0, 0, 1, 0, 0), (0, 0, 0, 0, 0, 0, 1, 0), (0, 0, 0, 0, 0, 0, 0, 1)
Containing regular semisimple subalgebra number 1:
-module decomposition of the ambient Lie algebra:
Below is one possible realization of the sl(2) subalgebra.
Lie brackets of the above elements.
Centralizer type:
Killing form square of Cartan element dual to ambient long root: 56
Basis of the centralizer (dimension: 6):
,
,
,
,
,
Basis of centralizer intersected with cartan (dimension: 2):
,
Cartan of centralizer (dimension: 2):
,
Cartan-generating semisimple element:
adjoint action:
Characteristic polynomial ad H:
Factorization of characteristic polynomial of ad H: (x )(x )(x -2)(x -2)(x +2)(x +2)
Eigenvalues of ad H:
,
,
6 eigenvectors of ad H:
,
,
,
,
,
Centralizer type: A^{2}_1+A^{1}_1
Reductive components (2 total):
Scalar product computed:
Simple basis of Cartan of centralizer (1 total):
matching e:
verification:
adjoint action:
Linear space basis of intersection of centralizer and ambient Cartan:
matching e:
verification:
adjoint action:
Elements in Cartan dual to root system: (1), (-1)
Co-symmetric Cartan Matrix of centralizer, scaled by ambient killing form:
Scalar product computed:
Simple basis of Cartan of centralizer (1 total):
matching e:
verification:
adjoint action:
Linear space basis of intersection of centralizer and ambient Cartan:
matching e:
verification:
adjoint action:
Elements in Cartan dual to root system: (1), (-1)
Co-symmetric Cartan Matrix of centralizer, scaled by ambient killing form:
Unfold the hidden panel for more information.
Unknown elements.
Participating positive roots: 0 vectors. .
Lie brackets of the unknowns.
The polynomial system that corresponds to finding the h, e, f triple:
Starting h, e, f triple. H is computed according to Dynkin, and the coefficients of f are arbitrarily chosen.
More precisely, the chevalley generators participating in f are ordered in the order in which their roots appear, and the coefficients are chosen arbitrarily. More precisely, the n^th coefficient either 1) equals (n-1)^2+1 or 2) equals a hard-coded number that is specific to the given ambient Lie algebra, dynkin index and h element. Whenever a hard-coded coefficient is used, it was selected so it results in fast computations. The selection was discovered through manual experimentation. As of writing, the arbitrary coefficient selection happens
here.
Matrix form of the system we are trying to solve:
The unknown Kostant-Sekiguchi elements.
The polynomial system we need to solve.
h-characteristic: (2, 2, 2, 2, 0, 0, 0, 0)Length of the weight dual to h: 120
Simple basis ambient algebra w.r.t defining h: 8 vectors:
(1, 0, 0, 0, 0, 0, 0, 0), (0, 1, 0, 0, 0, 0, 0, 0), (0, 0, 1, 0, 0, 0, 0, 0), (0, 0, 0, 1, 0, 0, 0, 0), (0, 0, 0, 0, 1, 0, 0, 0), (0, 0, 0, 0, 0, 1, 0, 0), (0, 0, 0, 0, 0, 0, 1, 0), (0, 0, 0, 0, 0, 0, 0, 1)
Containing regular semisimple subalgebra number 1:
-module decomposition of the ambient Lie algebra:
Below is one possible realization of the sl(2) subalgebra.
Lie brackets of the above elements.
Centralizer type:
Killing form square of Cartan element dual to ambient long root: 56
Basis of the centralizer (dimension: 21):
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
Basis of centralizer intersected with cartan (dimension: 3):
,
,
Cartan of centralizer (dimension: 3):
,
,
Cartan-generating semisimple element:
adjoint action:
Characteristic polynomial ad H:
Factorization of characteristic polynomial of ad H: (x )(x )(x )(x -25)(x -24)(x -17)(x -15)(x -10)(x -9)(x -8)(x -7)(x -1)(x +1)(x +7)(x +8)(x +9)(x +10)(x +15)(x +17)(x +24)(x +25)
Eigenvalues of ad H:
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
21 eigenvectors of ad H:
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
Centralizer type: B^{1}_3
Reductive components (1 total):
Scalar product computed:
Simple basis of Cartan of centralizer (3 total):
matching e:
verification:
adjoint action:
matching e:
verification:
adjoint action:
matching e:
verification:
adjoint action:
Linear space basis of intersection of centralizer and ambient Cartan:
matching e:
verification:
adjoint action:
matching e:
verification:
adjoint action:
matching e:
verification:
adjoint action:
Elements in Cartan dual to root system: (1, 2, 1), (-1, -2, -1), (1, 1, 1), (-1, -1, -1), (2, 2, 1), (-2, -2, -1), (0, 1, 1), (0, -1, -1), (1, 1, 0), (-1, -1, 0), (1, 0, 0), (-1, 0, 0), (0, 2, 1), (0, -2, -1), (0, 0, 1), (0, 0, -1), (0, 1, 0), (0, -1, 0)
Co-symmetric Cartan Matrix of centralizer, scaled by ambient killing form:
Unfold the hidden panel for more information.
Unknown elements.
Participating positive roots: 0 vectors. .
Lie brackets of the unknowns.
The polynomial system that corresponds to finding the h, e, f triple:
Starting h, e, f triple. H is computed according to Dynkin, and the coefficients of f are arbitrarily chosen.
More precisely, the chevalley generators participating in f are ordered in the order in which their roots appear, and the coefficients are chosen arbitrarily. More precisely, the n^th coefficient either 1) equals (n-1)^2+1 or 2) equals a hard-coded number that is specific to the given ambient Lie algebra, dynkin index and h element. Whenever a hard-coded coefficient is used, it was selected so it results in fast computations. The selection was discovered through manual experimentation. As of writing, the arbitrary coefficient selection happens
here.
Matrix form of the system we are trying to solve:
The unknown Kostant-Sekiguchi elements.
The polynomial system we need to solve.
h-characteristic: (0, 2, 0, 2, 0, 2, 0, 0)Length of the weight dual to h: 112
Simple basis ambient algebra w.r.t defining h: 8 vectors:
(1, 0, 0, 0, 0, 0, 0, 0), (0, 1, 0, 0, 0, 0, 0, 0), (0, 0, 1, 0, 0, 0, 0, 0), (0, 0, 0, 1, 0, 0, 0, 0), (0, 0, 0, 0, 1, 0, 0, 0), (0, 0, 0, 0, 0, 1, 0, 0), (0, 0, 0, 0, 0, 0, 1, 0), (0, 0, 0, 0, 0, 0, 0, 1)
Number of containing regular semisimple subalgebras: 2
Containing regular semisimple subalgebra number 1:
Containing regular semisimple subalgebra number 2:
-module decomposition of the ambient Lie algebra:
Below is one possible realization of the sl(2) subalgebra.
Lie brackets of the above elements.
Centralizer type:
Unfold the hidden panel for more information.
Unknown elements.
Participating positive roots: 0 vectors. .
Lie brackets of the unknowns.
The polynomial system that corresponds to finding the h, e, f triple:
Starting h, e, f triple. H is computed according to Dynkin, and the coefficients of f are arbitrarily chosen.
More precisely, the chevalley generators participating in f are ordered in the order in which their roots appear, and the coefficients are chosen arbitrarily. More precisely, the n^th coefficient either 1) equals (n-1)^2+1 or 2) equals a hard-coded number that is specific to the given ambient Lie algebra, dynkin index and h element. Whenever a hard-coded coefficient is used, it was selected so it results in fast computations. The selection was discovered through manual experimentation. As of writing, the arbitrary coefficient selection happens
here.
Matrix form of the system we are trying to solve:
The unknown Kostant-Sekiguchi elements.
The polynomial system we need to solve.
h-characteristic: (2, 0, 2, 0, 0, 2, 0, 0)Length of the weight dual to h: 80
Simple basis ambient algebra w.r.t defining h: 8 vectors:
(1, 0, 0, 0, 0, 0, 0, 0), (0, 1, 0, 0, 0, 0, 0, 0), (0, 0, 1, 0, 0, 0, 0, 0), (0, 0, 0, 1, 0, 0, 0, 0), (0, 0, 0, 0, 1, 0, 0, 0), (0, 0, 0, 0, 0, 1, 0, 0), (0, 0, 0, 0, 0, 0, 1, 0), (0, 0, 0, 0, 0, 0, 0, 1)
Number of containing regular semisimple subalgebras: 4
Containing regular semisimple subalgebra number 1:
Containing regular semisimple subalgebra number 2:
Containing regular semisimple subalgebra number 3:
Containing regular semisimple subalgebra number 4:
-module decomposition of the ambient Lie algebra:
Below is one possible realization of the sl(2) subalgebra.
Lie brackets of the above elements.
Centralizer type:
Unfold the hidden panel for more information.
Unknown elements.
Participating positive roots: 0 vectors. .
Lie brackets of the unknowns.
The polynomial system that corresponds to finding the h, e, f triple:
Starting h, e, f triple. H is computed according to Dynkin, and the coefficients of f are arbitrarily chosen.
More precisely, the chevalley generators participating in f are ordered in the order in which their roots appear, and the coefficients are chosen arbitrarily. More precisely, the n^th coefficient either 1) equals (n-1)^2+1 or 2) equals a hard-coded number that is specific to the given ambient Lie algebra, dynkin index and h element. Whenever a hard-coded coefficient is used, it was selected so it results in fast computations. The selection was discovered through manual experimentation. As of writing, the arbitrary coefficient selection happens
here.
Matrix form of the system we are trying to solve:
The unknown Kostant-Sekiguchi elements.
The polynomial system we need to solve.
h-characteristic: (2, 0, 2, 0, 1, 0, 1, 1)Length of the weight dual to h: 78
Simple basis ambient algebra w.r.t defining h: 8 vectors:
(1, 0, 0, 0, 0, 0, 0, 0), (0, 1, 0, 0, 0, 0, 0, 0), (0, 0, 1, 0, 0, 0, 0, 0), (0, 0, 0, 1, 0, 0, 0, 0), (0, 0, 0, 0, 1, 0, 0, 0), (0, 0, 0, 0, 0, 1, 0, 0), (0, 0, 0, 0, 0, 0, 1, 0), (0, 0, 0, 0, 0, 0, 0, 1)
Containing regular semisimple subalgebra number 1:
-module decomposition of the ambient Lie algebra:
Below is one possible realization of the sl(2) subalgebra.
Lie brackets of the above elements.
Centralizer type:
Unfold the hidden panel for more information.
Unknown elements.
Participating positive roots: 0 vectors. .
Lie brackets of the unknowns.
The polynomial system that corresponds to finding the h, e, f triple:
Starting h, e, f triple. H is computed according to Dynkin, and the coefficients of f are arbitrarily chosen.
More precisely, the chevalley generators participating in f are ordered in the order in which their roots appear, and the coefficients are chosen arbitrarily. More precisely, the n^th coefficient either 1) equals (n-1)^2+1 or 2) equals a hard-coded number that is specific to the given ambient Lie algebra, dynkin index and h element. Whenever a hard-coded coefficient is used, it was selected so it results in fast computations. The selection was discovered through manual experimentation. As of writing, the arbitrary coefficient selection happens
here.
Matrix form of the system we are trying to solve:
The unknown Kostant-Sekiguchi elements.
The polynomial system we need to solve.
h-characteristic: (2, 1, 0, 1, 1, 0, 1, 1)Length of the weight dual to h: 76
Simple basis ambient algebra w.r.t defining h: 8 vectors:
(1, 0, 0, 0, 0, 0, 0, 0), (0, 1, 0, 0, 0, 0, 0, 0), (0, 0, 1, 0, 0, 0, 0, 0), (0, 0, 0, 1, 0, 0, 0, 0), (0, 0, 0, 0, 1, 0, 0, 0), (0, 0, 0, 0, 0, 1, 0, 0), (0, 0, 0, 0, 0, 0, 1, 0), (0, 0, 0, 0, 0, 0, 0, 1)
Containing regular semisimple subalgebra number 1:
-module decomposition of the ambient Lie algebra:
Below is one possible realization of the sl(2) subalgebra.
Lie brackets of the above elements.
Centralizer type:
Killing form square of Cartan element dual to ambient long root: 56
Basis of the centralizer (dimension: 3):
,
,
Basis of centralizer intersected with cartan (dimension: 1):
Cartan of centralizer (dimension: 1):
Cartan-generating semisimple element:
adjoint action:
Characteristic polynomial ad H:
Factorization of characteristic polynomial of ad H: (x )(x -2)(x +2)
Eigenvalues of ad H:
,
,
3 eigenvectors of ad H:
,
,
Centralizer type: A^{2}_1
Reductive components (1 total):
Scalar product computed:
Simple basis of Cartan of centralizer (1 total):
matching e:
verification:
adjoint action:
Linear space basis of intersection of centralizer and ambient Cartan:
matching e:
verification:
adjoint action:
Elements in Cartan dual to root system: (1), (-1)
Co-symmetric Cartan Matrix of centralizer, scaled by ambient killing form:
Unfold the hidden panel for more information.
Unknown elements.
Participating positive roots: 0 vectors. .
Lie brackets of the unknowns.
The polynomial system that corresponds to finding the h, e, f triple:
Starting h, e, f triple. H is computed according to Dynkin, and the coefficients of f are arbitrarily chosen.
More precisely, the chevalley generators participating in f are ordered in the order in which their roots appear, and the coefficients are chosen arbitrarily. More precisely, the n^th coefficient either 1) equals (n-1)^2+1 or 2) equals a hard-coded number that is specific to the given ambient Lie algebra, dynkin index and h element. Whenever a hard-coded coefficient is used, it was selected so it results in fast computations. The selection was discovered through manual experimentation. As of writing, the arbitrary coefficient selection happens
here.
Matrix form of the system we are trying to solve:
The unknown Kostant-Sekiguchi elements.
The polynomial system we need to solve.
h-characteristic: (2, 0, 2, 0, 2, 0, 0, 0)Length of the weight dual to h: 76
Simple basis ambient algebra w.r.t defining h: 8 vectors:
(1, 0, 0, 0, 0, 0, 0, 0), (0, 1, 0, 0, 0, 0, 0, 0), (0, 0, 1, 0, 0, 0, 0, 0), (0, 0, 0, 1, 0, 0, 0, 0), (0, 0, 0, 0, 1, 0, 0, 0), (0, 0, 0, 0, 0, 1, 0, 0), (0, 0, 0, 0, 0, 0, 1, 0), (0, 0, 0, 0, 0, 0, 0, 1)
Number of containing regular semisimple subalgebras: 2
Containing regular semisimple subalgebra number 1:
Containing regular semisimple subalgebra number 2:
-module decomposition of the ambient Lie algebra:
Below is one possible realization of the sl(2) subalgebra.
Lie brackets of the above elements.
Centralizer type:
Unfold the hidden panel for more information.
Unknown elements.
Participating positive roots: 0 vectors. .
Lie brackets of the unknowns.
The polynomial system that corresponds to finding the h, e, f triple:
Starting h, e, f triple. H is computed according to Dynkin, and the coefficients of f are arbitrarily chosen.
More precisely, the chevalley generators participating in f are ordered in the order in which their roots appear, and the coefficients are chosen arbitrarily. More precisely, the n^th coefficient either 1) equals (n-1)^2+1 or 2) equals a hard-coded number that is specific to the given ambient Lie algebra, dynkin index and h element. Whenever a hard-coded coefficient is used, it was selected so it results in fast computations. The selection was discovered through manual experimentation. As of writing, the arbitrary coefficient selection happens
here.
Matrix form of the system we are trying to solve:
The unknown Kostant-Sekiguchi elements.
The polynomial system we need to solve.
h-characteristic: (0, 2, 0, 1, 1, 0, 1, 1)Length of the weight dual to h: 74
Simple basis ambient algebra w.r.t defining h: 8 vectors:
(1, 0, 0, 0, 0, 0, 0, 0), (0, 1, 0, 0, 0, 0, 0, 0), (0, 0, 1, 0, 0, 0, 0, 0), (0, 0, 0, 1, 0, 0, 0, 0), (0, 0, 0, 0, 1, 0, 0, 0), (0, 0, 0, 0, 0, 1, 0, 0), (0, 0, 0, 0, 0, 0, 1, 0), (0, 0, 0, 0, 0, 0, 0, 1)
Containing regular semisimple subalgebra number 1:
-module decomposition of the ambient Lie algebra:
Below is one possible realization of the sl(2) subalgebra.
Lie brackets of the above elements.
Centralizer type:
Killing form square of Cartan element dual to ambient long root: 56
Basis of the centralizer (dimension: 3):
,
,
Basis of centralizer intersected with cartan (dimension: 1):
Cartan of centralizer (dimension: 1):
Cartan-generating semisimple element:
adjoint action:
Characteristic polynomial ad H:
Factorization of characteristic polynomial of ad H: (x )(x -2)(x +2)
Eigenvalues of ad H:
,
,
3 eigenvectors of ad H:
,
,
Centralizer type: A^{3}_1
Reductive components (1 total):
Scalar product computed:
Simple basis of Cartan of centralizer (1 total):
matching e:
verification:
adjoint action:
Linear space basis of intersection of centralizer and ambient Cartan:
matching e:
verification:
adjoint action:
Elements in Cartan dual to root system: (1), (-1)
Co-symmetric Cartan Matrix of centralizer, scaled by ambient killing form:
Unfold the hidden panel for more information.
Unknown elements.
Participating positive roots: 0 vectors. .
Lie brackets of the unknowns.
The polynomial system that corresponds to finding the h, e, f triple:
Starting h, e, f triple. H is computed according to Dynkin, and the coefficients of f are arbitrarily chosen.
More precisely, the chevalley generators participating in f are ordered in the order in which their roots appear, and the coefficients are chosen arbitrarily. More precisely, the n^th coefficient either 1) equals (n-1)^2+1 or 2) equals a hard-coded number that is specific to the given ambient Lie algebra, dynkin index and h element. Whenever a hard-coded coefficient is used, it was selected so it results in fast computations. The selection was discovered through manual experimentation. As of writing, the arbitrary coefficient selection happens
here.
Matrix form of the system we are trying to solve:
The unknown Kostant-Sekiguchi elements.
The polynomial system we need to solve.
h-characteristic: (0, 2, 0, 2, 0, 0, 2, 0)Length of the weight dual to h: 72
Simple basis ambient algebra w.r.t defining h: 8 vectors:
(1, 0, 0, 0, 0, 0, 0, 0), (0, 1, 0, 0, 0, 0, 0, 0), (0, 0, 1, 0, 0, 0, 0, 0), (0, 0, 0, 1, 0, 0, 0, 0), (0, 0, 0, 0, 1, 0, 0, 0), (0, 0, 0, 0, 0, 1, 0, 0), (0, 0, 0, 0, 0, 0, 1, 0), (0, 0, 0, 0, 0, 0, 0, 1)
Containing regular semisimple subalgebra number 1:
-module decomposition of the ambient Lie algebra:
Below is one possible realization of the sl(2) subalgebra.
Lie brackets of the above elements.
Centralizer type:
Killing form square of Cartan element dual to ambient long root: 56
Basis of the centralizer (dimension: 6):
,
,
,
,
,
Basis of centralizer intersected with cartan (dimension: 2):
,
Cartan of centralizer (dimension: 2):
,
Cartan-generating semisimple element:
adjoint action:
Characteristic polynomial ad H:
Factorization of characteristic polynomial of ad H: (x )(x )(x -4)(x -2)(x +2)(x +4)
Eigenvalues of ad H:
,
,
,
,
6 eigenvectors of ad H:
,
,
,
,
,
Centralizer type: A^{3}_1+A^{1}_1
Reductive components (2 total):
Scalar product computed:
Simple basis of Cartan of centralizer (1 total):
matching e:
verification:
adjoint action:
Linear space basis of intersection of centralizer and ambient Cartan:
matching e:
verification:
adjoint action:
Elements in Cartan dual to root system: (1), (-1)
Co-symmetric Cartan Matrix of centralizer, scaled by ambient killing form:
Scalar product computed:
Simple basis of Cartan of centralizer (1 total):
matching e:
verification:
adjoint action:
Linear space basis of intersection of centralizer and ambient Cartan:
matching e:
verification:
adjoint action:
Elements in Cartan dual to root system: (1), (-1)
Co-symmetric Cartan Matrix of centralizer, scaled by ambient killing form:
Unfold the hidden panel for more information.
Unknown elements.
Participating positive roots: 0 vectors. .
Lie brackets of the unknowns.
The polynomial system that corresponds to finding the h, e, f triple:
Starting h, e, f triple. H is computed according to Dynkin, and the coefficients of f are arbitrarily chosen.
More precisely, the chevalley generators participating in f are ordered in the order in which their roots appear, and the coefficients are chosen arbitrarily. More precisely, the n^th coefficient either 1) equals (n-1)^2+1 or 2) equals a hard-coded number that is specific to the given ambient Lie algebra, dynkin index and h element. Whenever a hard-coded coefficient is used, it was selected so it results in fast computations. The selection was discovered through manual experimentation. As of writing, the arbitrary coefficient selection happens
here.
Matrix form of the system we are trying to solve:
The unknown Kostant-Sekiguchi elements.
The polynomial system we need to solve.
h-characteristic: (0, 2, 0, 2, 0, 1, 0, 0)Length of the weight dual to h: 70
Simple basis ambient algebra w.r.t defining h: 8 vectors:
(1, 0, 0, 0, 0, 0, 0, 0), (0, 1, 0, 0, 0, 0, 0, 0), (0, 0, 1, 0, 0, 0, 0, 0), (0, 0, 0, 1, 0, 0, 0, 0), (0, 0, 0, 0, 1, 0, 0, 0), (0, 0, 0, 0, 0, 1, 0, 0), (0, 0, 0, 0, 0, 0, 1, 0), (0, 0, 0, 0, 0, 0, 0, 1)
Containing regular semisimple subalgebra number 1:
-module decomposition of the ambient Lie algebra:
Below is one possible realization of the sl(2) subalgebra.
Lie brackets of the above elements.
Centralizer type:
Killing form square of Cartan element dual to ambient long root: 56
Basis of the centralizer (dimension: 9):
,
,
,
,
,
,
,
,
Basis of centralizer intersected with cartan (dimension: 3):
,
,
Cartan of centralizer (dimension: 3):
,
,
Cartan-generating semisimple element:
adjoint action:
Characteristic polynomial ad H:
Factorization of characteristic polynomial of ad H: (x )(x )(x )(x -2)(x -2)(x -2)(x +2)(x +2)(x +2)
Eigenvalues of ad H:
,
,
9 eigenvectors of ad H:
,
,
,
,
,
,
,
,
Centralizer type: A^{3}_1+2A^{1}_1
Reductive components (3 total):
Scalar product computed:
Simple basis of Cartan of centralizer (1 total):
matching e:
verification:
adjoint action:
Linear space basis of intersection of centralizer and ambient Cartan:
matching e:
verification:
adjoint action:
Elements in Cartan dual to root system: (1), (-1)
Co-symmetric Cartan Matrix of centralizer, scaled by ambient killing form:
Scalar product computed:
Simple basis of Cartan of centralizer (1 total):
matching e:
verification:
adjoint action:
Linear space basis of intersection of centralizer and ambient Cartan:
matching e:
verification:
adjoint action:
Elements in Cartan dual to root system: (1), (-1)
Co-symmetric Cartan Matrix of centralizer, scaled by ambient killing form:
Scalar product computed:
Simple basis of Cartan of centralizer (1 total):
matching e:
verification:
adjoint action:
Linear space basis of intersection of centralizer and ambient Cartan:
matching e:
verification:
adjoint action:
Elements in Cartan dual to root system: (1), (-1)
Co-symmetric Cartan Matrix of centralizer, scaled by ambient killing form:
Unfold the hidden panel for more information.
Unknown elements.
Participating positive roots: 0 vectors. .
Lie brackets of the unknowns.
The polynomial system that corresponds to finding the h, e, f triple:
Starting h, e, f triple. H is computed according to Dynkin, and the coefficients of f are arbitrarily chosen.
More precisely, the chevalley generators participating in f are ordered in the order in which their roots appear, and the coefficients are chosen arbitrarily. More precisely, the n^th coefficient either 1) equals (n-1)^2+1 or 2) equals a hard-coded number that is specific to the given ambient Lie algebra, dynkin index and h element. Whenever a hard-coded coefficient is used, it was selected so it results in fast computations. The selection was discovered through manual experimentation. As of writing, the arbitrary coefficient selection happens
here.
Matrix form of the system we are trying to solve:
The unknown Kostant-Sekiguchi elements.
The polynomial system we need to solve.
h-characteristic: (2, 2, 0, 0, 0, 2, 0, 0)Length of the weight dual to h: 68
Simple basis ambient algebra w.r.t defining h: 8 vectors:
(1, 0, 0, 0, 0, 0, 0, 0), (0, 1, 0, 0, 0, 0, 0, 0), (0, 0, 1, 0, 0, 0, 0, 0), (0, 0, 0, 1, 0, 0, 0, 0), (0, 0, 0, 0, 1, 0, 0, 0), (0, 0, 0, 0, 0, 1, 0, 0), (0, 0, 0, 0, 0, 0, 1, 0), (0, 0, 0, 0, 0, 0, 0, 1)
Containing regular semisimple subalgebra number 1:
-module decomposition of the ambient Lie algebra:
Below is one possible realization of the sl(2) subalgebra.
Lie brackets of the above elements.
Centralizer type:
Killing form square of Cartan element dual to ambient long root: 56
Basis of the centralizer (dimension: 3):
,
,
Basis of centralizer intersected with cartan (dimension: 1):
Cartan of centralizer (dimension: 1):
Cartan-generating semisimple element:
adjoint action:
Characteristic polynomial ad H:
Factorization of characteristic polynomial of ad H: (x )(x -1)(x +1)
Eigenvalues of ad H:
,
,
3 eigenvectors of ad H:
,
,
Centralizer type: A^{6}_1
Reductive components (1 total):
Scalar product computed:
Simple basis of Cartan of centralizer (1 total):
matching e:
verification:
adjoint action:
Linear space basis of intersection of centralizer and ambient Cartan:
matching e:
verification:
adjoint action:
Elements in Cartan dual to root system: (1), (-1)
Co-symmetric Cartan Matrix of centralizer, scaled by ambient killing form:
Unfold the hidden panel for more information.
Unknown elements.
Participating positive roots: 0 vectors. .
Lie brackets of the unknowns.
The polynomial system that corresponds to finding the h, e, f triple:
Starting h, e, f triple. H is computed according to Dynkin, and the coefficients of f are arbitrarily chosen.
More precisely, the chevalley generators participating in f are ordered in the order in which their roots appear, and the coefficients are chosen arbitrarily. More precisely, the n^th coefficient either 1) equals (n-1)^2+1 or 2) equals a hard-coded number that is specific to the given ambient Lie algebra, dynkin index and h element. Whenever a hard-coded coefficient is used, it was selected so it results in fast computations. The selection was discovered through manual experimentation. As of writing, the arbitrary coefficient selection happens
here.
Matrix form of the system we are trying to solve:
The unknown Kostant-Sekiguchi elements.
The polynomial system we need to solve.
h-characteristic: (2, 2, 0, 0, 2, 0, 0, 0)Length of the weight dual to h: 64
Simple basis ambient algebra w.r.t defining h: 8 vectors:
(1, 0, 0, 0, 0, 0, 0, 0), (0, 1, 0, 0, 0, 0, 0, 0), (0, 0, 1, 0, 0, 0, 0, 0), (0, 0, 0, 1, 0, 0, 0, 0), (0, 0, 0, 0, 1, 0, 0, 0), (0, 0, 0, 0, 0, 1, 0, 0), (0, 0, 0, 0, 0, 0, 1, 0), (0, 0, 0, 0, 0, 0, 0, 1)
Number of containing regular semisimple subalgebras: 3
Containing regular semisimple subalgebra number 1:
Containing regular semisimple subalgebra number 2:
Containing regular semisimple subalgebra number 3:
-module decomposition of the ambient Lie algebra:
Below is one possible realization of the sl(2) subalgebra.
Lie brackets of the above elements.
Centralizer type:
Killing form square of Cartan element dual to ambient long root: 56
Basis of the centralizer (dimension: 4):
,
,
,
Basis of centralizer intersected with cartan (dimension: 0):
Cartan of centralizer (dimension: 2):
,
Cartan-generating semisimple element:
adjoint action:
Characteristic polynomial ad H:
Factorization of characteristic polynomial of ad H: (x )(x )(x^2+8)
Eigenvalues of ad H:
,
,
4 eigenvectors of ad H:
,
,
,
Centralizer type: A^{2}_1
Reductive components (1 total):
Scalar product computed:
Simple basis of Cartan of centralizer (1 total):
matching e:
verification:
adjoint action:
Linear space basis of intersection of centralizer and ambient Cartan:
matching e:
verification:
adjoint action:
Elements in Cartan dual to root system: (1), (-1)
Co-symmetric Cartan Matrix of centralizer, scaled by ambient killing form:
Unfold the hidden panel for more information.
Unknown elements.
Participating positive roots: 0 vectors. .
Lie brackets of the unknowns.
The polynomial system that corresponds to finding the h, e, f triple:
Starting h, e, f triple. H is computed according to Dynkin, and the coefficients of f are arbitrarily chosen.
More precisely, the chevalley generators participating in f are ordered in the order in which their roots appear, and the coefficients are chosen arbitrarily. More precisely, the n^th coefficient either 1) equals (n-1)^2+1 or 2) equals a hard-coded number that is specific to the given ambient Lie algebra, dynkin index and h element. Whenever a hard-coded coefficient is used, it was selected so it results in fast computations. The selection was discovered through manual experimentation. As of writing, the arbitrary coefficient selection happens
here.
Matrix form of the system we are trying to solve:
The unknown Kostant-Sekiguchi elements.
The polynomial system we need to solve.
h-characteristic: (2, 2, 0, 1, 0, 1, 0, 0)Length of the weight dual to h: 62
Simple basis ambient algebra w.r.t defining h: 8 vectors:
(1, 0, 0, 0, 0, 0, 0, 0), (0, 1, 0, 0, 0, 0, 0, 0), (0, 0, 1, 0, 0, 0, 0, 0), (0, 0, 0, 1, 0, 0, 0, 0), (0, 0, 0, 0, 1, 0, 0, 0), (0, 0, 0, 0, 0, 1, 0, 0), (0, 0, 0, 0, 0, 0, 1, 0), (0, 0, 0, 0, 0, 0, 0, 1)
Number of containing regular semisimple subalgebras: 2
Containing regular semisimple subalgebra number 1:
Containing regular semisimple subalgebra number 2:
-module decomposition of the ambient Lie algebra:
Below is one possible realization of the sl(2) subalgebra.
Lie brackets of the above elements.
Centralizer type:
Unfold the hidden panel for more information.
Unknown elements.
Participating positive roots: 0 vectors. .
Lie brackets of the unknowns.
The polynomial system that corresponds to finding the h, e, f triple:
Starting h, e, f triple. H is computed according to Dynkin, and the coefficients of f are arbitrarily chosen.
More precisely, the chevalley generators participating in f are ordered in the order in which their roots appear, and the coefficients are chosen arbitrarily. More precisely, the n^th coefficient either 1) equals (n-1)^2+1 or 2) equals a hard-coded number that is specific to the given ambient Lie algebra, dynkin index and h element. Whenever a hard-coded coefficient is used, it was selected so it results in fast computations. The selection was discovered through manual experimentation. As of writing, the arbitrary coefficient selection happens
here.
Matrix form of the system we are trying to solve:
The unknown Kostant-Sekiguchi elements.
The polynomial system we need to solve.
h-characteristic: (2, 2, 1, 0, 0, 0, 1, 1)Length of the weight dual to h: 60
Simple basis ambient algebra w.r.t defining h: 8 vectors:
(1, 0, 0, 0, 0, 0, 0, 0), (0, 1, 0, 0, 0, 0, 0, 0), (0, 0, 1, 0, 0, 0, 0, 0), (0, 0, 0, 1, 0, 0, 0, 0), (0, 0, 0, 0, 1, 0, 0, 0), (0, 0, 0, 0, 0, 1, 0, 0), (0, 0, 0, 0, 0, 0, 1, 0), (0, 0, 0, 0, 0, 0, 0, 1)
Containing regular semisimple subalgebra number 1:
-module decomposition of the ambient Lie algebra:
Below is one possible realization of the sl(2) subalgebra.
Lie brackets of the above elements.
Centralizer type:
Killing form square of Cartan element dual to ambient long root: 56
Basis of the centralizer (dimension: 10):
,
,
,
,
,
,
,
,
,
Basis of centralizer intersected with cartan (dimension: 2):
,
Cartan of centralizer (dimension: 2):
,
Cartan-generating semisimple element:
adjoint action:
Characteristic polynomial ad H:
Factorization of characteristic polynomial of ad H: (x )(x )(x -18)(x -10)(x -8)(x -2)(x +2)(x +8)(x +10)(x +18)
Eigenvalues of ad H:
,
,
,
,
,
,
,
,
10 eigenvectors of ad H:
,
,
,
,
,
,
,
,
,
Centralizer type: B^{1}_2
Reductive components (1 total):
Scalar product computed:
Simple basis of Cartan of centralizer (2 total):
matching e:
verification:
adjoint action:
matching e:
verification:
adjoint action:
Linear space basis of intersection of centralizer and ambient Cartan:
matching e:
verification:
adjoint action:
matching e:
verification:
adjoint action:
Elements in Cartan dual to root system: (1, 1), (-1, -1), (1, 2), (-1, -2), (1, 0), (-1, 0), (0, 1), (0, -1)
Co-symmetric Cartan Matrix of centralizer, scaled by ambient killing form:
Unfold the hidden panel for more information.
Unknown elements.
Participating positive roots: 0 vectors. .
Lie brackets of the unknowns.
The polynomial system that corresponds to finding the h, e, f triple:
Starting h, e, f triple. H is computed according to Dynkin, and the coefficients of f are arbitrarily chosen.
More precisely, the chevalley generators participating in f are ordered in the order in which their roots appear, and the coefficients are chosen arbitrarily. More precisely, the n^th coefficient either 1) equals (n-1)^2+1 or 2) equals a hard-coded number that is specific to the given ambient Lie algebra, dynkin index and h element. Whenever a hard-coded coefficient is used, it was selected so it results in fast computations. The selection was discovered through manual experimentation. As of writing, the arbitrary coefficient selection happens
here.
Matrix form of the system we are trying to solve:
The unknown Kostant-Sekiguchi elements.
The polynomial system we need to solve.
h-characteristic: (2, 2, 0, 2, 0, 0, 0, 0)Length of the weight dual to h: 60
Simple basis ambient algebra w.r.t defining h: 8 vectors:
(1, 0, 0, 0, 0, 0, 0, 0), (0, 1, 0, 0, 0, 0, 0, 0), (0, 0, 1, 0, 0, 0, 0, 0), (0, 0, 0, 1, 0, 0, 0, 0), (0, 0, 0, 0, 1, 0, 0, 0), (0, 0, 0, 0, 0, 1, 0, 0), (0, 0, 0, 0, 0, 0, 1, 0), (0, 0, 0, 0, 0, 0, 0, 1)
Number of containing regular semisimple subalgebras: 2
Containing regular semisimple subalgebra number 1:
Containing regular semisimple subalgebra number 2:
-module decomposition of the ambient Lie algebra:
Below is one possible realization of the sl(2) subalgebra.
Lie brackets of the above elements.
Centralizer type:
Unfold the hidden panel for more information.
Unknown elements.
Participating positive roots: 0 vectors. .
Lie brackets of the unknowns.
The polynomial system that corresponds to finding the h, e, f triple:
Starting h, e, f triple. H is computed according to Dynkin, and the coefficients of f are arbitrarily chosen.
More precisely, the chevalley generators participating in f are ordered in the order in which their roots appear, and the coefficients are chosen arbitrarily. More precisely, the n^th coefficient either 1) equals (n-1)^2+1 or 2) equals a hard-coded number that is specific to the given ambient Lie algebra, dynkin index and h element. Whenever a hard-coded coefficient is used, it was selected so it results in fast computations. The selection was discovered through manual experimentation. As of writing, the arbitrary coefficient selection happens
here.
Matrix form of the system we are trying to solve:
The unknown Kostant-Sekiguchi elements.
The polynomial system we need to solve.
h-characteristic: (0, 0, 2, 0, 0, 2, 0, 0)Length of the weight dual to h: 60
Simple basis ambient algebra w.r.t defining h: 8 vectors:
(1, 0, 0, 0, 0, 0, 0, 0), (0, 1, 0, 0, 0, 0, 0, 0), (0, 0, 1, 0, 0, 0, 0, 0), (0, 0, 0, 1, 0, 0, 0, 0), (0, 0, 0, 0, 1, 0, 0, 0), (0, 0, 0, 0, 0, 1, 0, 0), (0, 0, 0, 0, 0, 0, 1, 0), (0, 0, 0, 0, 0, 0, 0, 1)
Containing regular semisimple subalgebra number 1:
-module decomposition of the ambient Lie algebra:
Below is one possible realization of the sl(2) subalgebra.
Lie brackets of the above elements.
Centralizer type:
Killing form square of Cartan element dual to ambient long root: 56
Basis of the centralizer (dimension: 3):
,
,
Basis of centralizer intersected with cartan (dimension: 1):
Cartan of centralizer (dimension: 1):
Cartan-generating semisimple element:
adjoint action:
Characteristic polynomial ad H:
Factorization of characteristic polynomial of ad H: (x )(x -1)(x +1)
Eigenvalues of ad H:
,
,
3 eigenvectors of ad H:
,
,
Centralizer type: A^{10}_1
Reductive components (1 total):
Scalar product computed:
Simple basis of Cartan of centralizer (1 total):
matching e:
verification:
adjoint action:
Linear space basis of intersection of centralizer and ambient Cartan:
matching e:
verification:
adjoint action:
Elements in Cartan dual to root system: (1), (-1)
Co-symmetric Cartan Matrix of centralizer, scaled by ambient killing form:
Unfold the hidden panel for more information.
Unknown elements.
Participating positive roots: 0 vectors. .
Lie brackets of the unknowns.
The polynomial system that corresponds to finding the h, e, f triple:
Starting h, e, f triple. H is computed according to Dynkin, and the coefficients of f are arbitrarily chosen.
More precisely, the chevalley generators participating in f are ordered in the order in which their roots appear, and the coefficients are chosen arbitrarily. More precisely, the n^th coefficient either 1) equals (n-1)^2+1 or 2) equals a hard-coded number that is specific to the given ambient Lie algebra, dynkin index and h element. Whenever a hard-coded coefficient is used, it was selected so it results in fast computations. The selection was discovered through manual experimentation. As of writing, the arbitrary coefficient selection happens
here.
Matrix form of the system we are trying to solve:
The unknown Kostant-Sekiguchi elements.
The polynomial system we need to solve.
h-characteristic: (2, 2, 1, 0, 1, 0, 0, 0)Length of the weight dual to h: 58
Simple basis ambient algebra w.r.t defining h: 8 vectors:
(1, 0, 0, 0, 0, 0, 0, 0), (0, 1, 0, 0, 0, 0, 0, 0), (0, 0, 1, 0, 0, 0, 0, 0), (0, 0, 0, 1, 0, 0, 0, 0), (0, 0, 0, 0, 1, 0, 0, 0), (0, 0, 0, 0, 0, 1, 0, 0), (0, 0, 0, 0, 0, 0, 1, 0), (0, 0, 0, 0, 0, 0, 0, 1)
Containing regular semisimple subalgebra number 1:
-module decomposition of the ambient Lie algebra:
Below is one possible realization of the sl(2) subalgebra.
Lie brackets of the above elements.
Centralizer type:
Killing form square of Cartan element dual to ambient long root: 56
Basis of the centralizer (dimension: 13):
,
,
,
,
,
,
,
,
,
,
,
,
Basis of centralizer intersected with cartan (dimension: 3):
,
,
Cartan of centralizer (dimension: 3):
,
,
Cartan-generating semisimple element:
adjoint action:
Characteristic polynomial ad H:
Factorization of characteristic polynomial of ad H: (x )(x )(x )(x -18)(x -14)(x -10)(x -8)(x -2)(x +2)(x +8)(x +10)(x +14)(x +18)
Eigenvalues of ad H:
,
,
,
,
,
,
,
,
,
,
13 eigenvectors of ad H:
,
,
,
,
,
,
,
,
,
,
,
,
Centralizer type: B^{1}_2+A^{1}_1
Reductive components (2 total):
Scalar product computed:
Simple basis of Cartan of centralizer (2 total):
matching e:
verification:
adjoint action:
matching e:
verification:
adjoint action:
Linear space basis of intersection of centralizer and ambient Cartan:
matching e:
verification:
adjoint action:
matching e:
verification:
adjoint action:
Elements in Cartan dual to root system: (1, 1), (-1, -1), (1, 2), (-1, -2), (1, 0), (-1, 0), (0, 1), (0, -1)
Co-symmetric Cartan Matrix of centralizer, scaled by ambient killing form:
Scalar product computed:
Simple basis of Cartan of centralizer (1 total):
matching e:
verification:
adjoint action:
Linear space basis of intersection of centralizer and ambient Cartan:
matching e:
verification:
adjoint action:
Elements in Cartan dual to root system: (1), (-1)
Co-symmetric Cartan Matrix of centralizer, scaled by ambient killing form:
Unfold the hidden panel for more information.
Unknown elements.
Participating positive roots: 0 vectors. .
Lie brackets of the unknowns.
The polynomial system that corresponds to finding the h, e, f triple:
Starting h, e, f triple. H is computed according to Dynkin, and the coefficients of f are arbitrarily chosen.
More precisely, the chevalley generators participating in f are ordered in the order in which their roots appear, and the coefficients are chosen arbitrarily. More precisely, the n^th coefficient either 1) equals (n-1)^2+1 or 2) equals a hard-coded number that is specific to the given ambient Lie algebra, dynkin index and h element. Whenever a hard-coded coefficient is used, it was selected so it results in fast computations. The selection was discovered through manual experimentation. As of writing, the arbitrary coefficient selection happens
here.
Matrix form of the system we are trying to solve:
The unknown Kostant-Sekiguchi elements.
The polynomial system we need to solve.
h-characteristic: (2, 2, 2, 0, 0, 0, 0, 0)Length of the weight dual to h: 56
Simple basis ambient algebra w.r.t defining h: 8 vectors:
(1, 0, 0, 0, 0, 0, 0, 0), (0, 1, 0, 0, 0, 0, 0, 0), (0, 0, 1, 0, 0, 0, 0, 0), (0, 0, 0, 1, 0, 0, 0, 0), (0, 0, 0, 0, 1, 0, 0, 0), (0, 0, 0, 0, 0, 1, 0, 0), (0, 0, 0, 0, 0, 0, 1, 0), (0, 0, 0, 0, 0, 0, 0, 1)
Containing regular semisimple subalgebra number 1:
-module decomposition of the ambient Lie algebra:
Below is one possible realization of the sl(2) subalgebra.
Lie brackets of the above elements.
Centralizer type:
Killing form square of Cartan element dual to ambient long root: 56
Basis of the centralizer (dimension: 36):
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
Basis of centralizer intersected with cartan (dimension: 4):
,
,
,
Cartan of centralizer (dimension: 4):
,
,
,
Cartan-generating semisimple element:
adjoint action:
Characteristic polynomial ad H:
Factorization of characteristic polynomial of ad H: (x )(x )(x )(x )(x -25)(x -22)(x -19)(x -17)(x -15)(x -13)(x -12)(x -10)(x -9)(x -8)(x -7)(x -6)(x -5)(x -3)(x -3)(x -2)(x +2)(x +3)(x +3)(x +5)(x +6)(x +7)(x +8)(x +9)(x +10)(x +12)(x +13)(x +15)(x +17)(x +19)(x +22)(x +25)
Eigenvalues of ad H:
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
36 eigenvectors of ad H:
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
Centralizer type: B^{1}_4
Reductive components (1 total):
Scalar product computed:
Simple basis of Cartan of centralizer (4 total):
matching e:
verification:
adjoint action:
matching e:
verification:
adjoint action:
matching e:
verification:
adjoint action:
matching e:
verification:
adjoint action:
Linear space basis of intersection of centralizer and ambient Cartan:
matching e:
verification:
adjoint action:
matching e:
verification:
adjoint action:
matching e:
verification:
adjoint action:
matching e:
verification:
adjoint action:
Elements in Cartan dual to root system: (1, 1, 2, 2), (-1, -1, -2, -2), (1, 1, 2, 1), (-1, -1, -2, -1), (1, 1, 1, 1), (-1, -1, -1, -1), (2, 1, 2, 2), (-2, -1, -2, -2), (1, 0, 1, 1), (-1, 0, -1, -1), (0, 1, 2, 1), (0, -1, -2, -1), (1, 0, 0, 1), (-1, 0, 0, -1), (0, 1, 1, 1), (0, -1, -1, -1), (1, 0, 0, 0), (-1, 0, 0, 0), (0, 1, 2, 2), (0, -1, -2, -2), (0, 1, 1, 0), (0, -1, -1, 0), (0, 0, 1, 1), (0, 0, -1, -1), (0, 1, 2, 0), (0, -1, -2, 0), (0, 0, 1, 0), (0, 0, -1, 0), (0, 0, 0, 1), (0, 0, 0, -1), (0, 1, 0, 0), (0, -1, 0, 0)
Co-symmetric Cartan Matrix of centralizer, scaled by ambient killing form:
Unfold the hidden panel for more information.
Unknown elements.
Participating positive roots: 0 vectors. .
Lie brackets of the unknowns.
The polynomial system that corresponds to finding the h, e, f triple:
Starting h, e, f triple. H is computed according to Dynkin, and the coefficients of f are arbitrarily chosen.
More precisely, the chevalley generators participating in f are ordered in the order in which their roots appear, and the coefficients are chosen arbitrarily. More precisely, the n^th coefficient either 1) equals (n-1)^2+1 or 2) equals a hard-coded number that is specific to the given ambient Lie algebra, dynkin index and h element. Whenever a hard-coded coefficient is used, it was selected so it results in fast computations. The selection was discovered through manual experimentation. As of writing, the arbitrary coefficient selection happens
here.
Matrix form of the system we are trying to solve:
The unknown Kostant-Sekiguchi elements.
The polynomial system we need to solve.
h-characteristic: (0, 2, 0, 0, 0, 2, 0, 0)Length of the weight dual to h: 48
Simple basis ambient algebra w.r.t defining h: 8 vectors:
(1, 0, 0, 0, 0, 0, 0, 0), (0, 1, 0, 0, 0, 0, 0, 0), (0, 0, 1, 0, 0, 0, 0, 0), (0, 0, 0, 1, 0, 0, 0, 0), (0, 0, 0, 0, 1, 0, 0, 0), (0, 0, 0, 0, 0, 1, 0, 0), (0, 0, 0, 0, 0, 0, 1, 0), (0, 0, 0, 0, 0, 0, 0, 1)
Number of containing regular semisimple subalgebras: 2
Containing regular semisimple subalgebra number 1:
Containing regular semisimple subalgebra number 2:
-module decomposition of the ambient Lie algebra:
Below is one possible realization of the sl(2) subalgebra.
Lie brackets of the above elements.
Centralizer type:
Unfold the hidden panel for more information.
Unknown elements.
Participating positive roots: 0 vectors. .
Lie brackets of the unknowns.
The polynomial system that corresponds to finding the h, e, f triple:
Starting h, e, f triple. H is computed according to Dynkin, and the coefficients of f are arbitrarily chosen.
More precisely, the chevalley generators participating in f are ordered in the order in which their roots appear, and the coefficients are chosen arbitrarily. More precisely, the n^th coefficient either 1) equals (n-1)^2+1 or 2) equals a hard-coded number that is specific to the given ambient Lie algebra, dynkin index and h element. Whenever a hard-coded coefficient is used, it was selected so it results in fast computations. The selection was discovered through manual experimentation. As of writing, the arbitrary coefficient selection happens
here.
Matrix form of the system we are trying to solve:
The unknown Kostant-Sekiguchi elements.
The polynomial system we need to solve.
h-characteristic: (1, 0, 1, 0, 1, 0, 1, 1)Length of the weight dual to h: 44
Simple basis ambient algebra w.r.t defining h: 8 vectors:
(1, 0, 0, 0, 0, 0, 0, 0), (0, 1, 0, 0, 0, 0, 0, 0), (0, 0, 1, 0, 0, 0, 0, 0), (0, 0, 0, 1, 0, 0, 0, 0), (0, 0, 0, 0, 1, 0, 0, 0), (0, 0, 0, 0, 0, 1, 0, 0), (0, 0, 0, 0, 0, 0, 1, 0), (0, 0, 0, 0, 0, 0, 0, 1)
Containing regular semisimple subalgebra number 1:
-module decomposition of the ambient Lie algebra:
Below is one possible realization of the sl(2) subalgebra.
Lie brackets of the above elements.
Centralizer type:
Killing form square of Cartan element dual to ambient long root: 56
Basis of the centralizer (dimension: 3):
,
,
Basis of centralizer intersected with cartan (dimension: 1):
Cartan of centralizer (dimension: 1):
Cartan-generating semisimple element:
adjoint action:
Characteristic polynomial ad H:
Factorization of characteristic polynomial of ad H: (x )(x -2)(x +2)
Eigenvalues of ad H:
,
,
3 eigenvectors of ad H:
,
,
Centralizer type: A^{2}_1
Reductive components (1 total):
Scalar product computed:
Simple basis of Cartan of centralizer (1 total):
matching e:
verification:
adjoint action:
Linear space basis of intersection of centralizer and ambient Cartan:
matching e:
verification:
adjoint action:
Elements in Cartan dual to root system: (1), (-1)
Co-symmetric Cartan Matrix of centralizer, scaled by ambient killing form:
Unfold the hidden panel for more information.
Unknown elements.
Participating positive roots: 0 vectors. .
Lie brackets of the unknowns.
The polynomial system that corresponds to finding the h, e, f triple:
Starting h, e, f triple. H is computed according to Dynkin, and the coefficients of f are arbitrarily chosen.
More precisely, the chevalley generators participating in f are ordered in the order in which their roots appear, and the coefficients are chosen arbitrarily. More precisely, the n^th coefficient either 1) equals (n-1)^2+1 or 2) equals a hard-coded number that is specific to the given ambient Lie algebra, dynkin index and h element. Whenever a hard-coded coefficient is used, it was selected so it results in fast computations. The selection was discovered through manual experimentation. As of writing, the arbitrary coefficient selection happens
here.
Matrix form of the system we are trying to solve:
The unknown Kostant-Sekiguchi elements.
The polynomial system we need to solve.
h-characteristic: (0, 2, 0, 0, 2, 0, 0, 0)Length of the weight dual to h: 44
Simple basis ambient algebra w.r.t defining h: 8 vectors:
(1, 0, 0, 0, 0, 0, 0, 0), (0, 1, 0, 0, 0, 0, 0, 0), (0, 0, 1, 0, 0, 0, 0, 0), (0, 0, 0, 1, 0, 0, 0, 0), (0, 0, 0, 0, 1, 0, 0, 0), (0, 0, 0, 0, 0, 1, 0, 0), (0, 0, 0, 0, 0, 0, 1, 0), (0, 0, 0, 0, 0, 0, 0, 1)
Number of containing regular semisimple subalgebras: 3
Containing regular semisimple subalgebra number 1:
Containing regular semisimple subalgebra number 2:
Containing regular semisimple subalgebra number 3:
-module decomposition of the ambient Lie algebra:
Below is one possible realization of the sl(2) subalgebra.
Lie brackets of the above elements.
Centralizer type:
Killing form square of Cartan element dual to ambient long root: 56
Basis of the centralizer (dimension: 4):
,
,
,
Basis of centralizer intersected with cartan (dimension: 0):
Cartan of centralizer (dimension: 2):
,
Cartan-generating semisimple element:
adjoint action:
Characteristic polynomial ad H:
Factorization of characteristic polynomial of ad H: (x )(x )(x -4)(x +4)
Eigenvalues of ad H:
,
,
4 eigenvectors of ad H:
,
,
,
Centralizer type: A^{2}_1
Reductive components (1 total):
Scalar product computed:
Simple basis of Cartan of centralizer (1 total):
matching e:
verification:
adjoint action:
Linear space basis of intersection of centralizer and ambient Cartan:
matching e:
verification:
adjoint action:
Elements in Cartan dual to root system: (1), (-1)
Co-symmetric Cartan Matrix of centralizer, scaled by ambient killing form:
Unfold the hidden panel for more information.
Unknown elements.
Participating positive roots: 0 vectors. .
Lie brackets of the unknowns.
The polynomial system that corresponds to finding the h, e, f triple:
Starting h, e, f triple. H is computed according to Dynkin, and the coefficients of f are arbitrarily chosen.
More precisely, the chevalley generators participating in f are ordered in the order in which their roots appear, and the coefficients are chosen arbitrarily. More precisely, the n^th coefficient either 1) equals (n-1)^2+1 or 2) equals a hard-coded number that is specific to the given ambient Lie algebra, dynkin index and h element. Whenever a hard-coded coefficient is used, it was selected so it results in fast computations. The selection was discovered through manual experimentation. As of writing, the arbitrary coefficient selection happens
here.
Matrix form of the system we are trying to solve:
The unknown Kostant-Sekiguchi elements.
The polynomial system we need to solve.
h-characteristic: (0, 2, 0, 1, 0, 1, 0, 0)Length of the weight dual to h: 42
Simple basis ambient algebra w.r.t defining h: 8 vectors:
(1, 0, 0, 0, 0, 0, 0, 0), (0, 1, 0, 0, 0, 0, 0, 0), (0, 0, 1, 0, 0, 0, 0, 0), (0, 0, 0, 1, 0, 0, 0, 0), (0, 0, 0, 0, 1, 0, 0, 0), (0, 0, 0, 0, 0, 1, 0, 0), (0, 0, 0, 0, 0, 0, 1, 0), (0, 0, 0, 0, 0, 0, 0, 1)
Number of containing regular semisimple subalgebras: 2
Containing regular semisimple subalgebra number 1:
Containing regular semisimple subalgebra number 2:
-module decomposition of the ambient Lie algebra:
Below is one possible realization of the sl(2) subalgebra.
Lie brackets of the above elements.
Centralizer type:
Unfold the hidden panel for more information.
Unknown elements.
Participating positive roots: 0 vectors. .
Lie brackets of the unknowns.
The polynomial system that corresponds to finding the h, e, f triple:
Starting h, e, f triple. H is computed according to Dynkin, and the coefficients of f are arbitrarily chosen.
More precisely, the chevalley generators participating in f are ordered in the order in which their roots appear, and the coefficients are chosen arbitrarily. More precisely, the n^th coefficient either 1) equals (n-1)^2+1 or 2) equals a hard-coded number that is specific to the given ambient Lie algebra, dynkin index and h element. Whenever a hard-coded coefficient is used, it was selected so it results in fast computations. The selection was discovered through manual experimentation. As of writing, the arbitrary coefficient selection happens
here.
Matrix form of the system we are trying to solve:
The unknown Kostant-Sekiguchi elements.
The polynomial system we need to solve.
h-characteristic: (0, 0, 0, 2, 0, 0, 2, 0)Length of the weight dual to h: 40
Simple basis ambient algebra w.r.t defining h: 8 vectors:
(1, 0, 0, 0, 0, 0, 0, 0), (0, 1, 0, 0, 0, 0, 0, 0), (0, 0, 1, 0, 0, 0, 0, 0), (0, 0, 0, 1, 0, 0, 0, 0), (0, 0, 0, 0, 1, 0, 0, 0), (0, 0, 0, 0, 0, 1, 0, 0), (0, 0, 0, 0, 0, 0, 1, 0), (0, 0, 0, 0, 0, 0, 0, 1)
Containing regular semisimple subalgebra number 1:
-module decomposition of the ambient Lie algebra:
Below is one possible realization of the sl(2) subalgebra.
Lie brackets of the above elements.
Centralizer type:
Killing form square of Cartan element dual to ambient long root: 56
Basis of the centralizer (dimension: 10):
,
,
,
,
,
,
,
,
,
Basis of centralizer intersected with cartan (dimension: 2):
,
Cartan of centralizer (dimension: 2):
,
Cartan-generating semisimple element:
adjoint action:
Characteristic polynomial ad H:
Factorization of characteristic polynomial of ad H: (x )(x )(x -2)(x +2)(x^2-8)(x^2-2x -1)(x^2+2x -1)
Eigenvalues of ad H:
,
,
,
,
,
,
,
,
10 eigenvectors of ad H:
,
,
,
,
,
,
,
,
,
Centralizer type: B^{2}_2
Reductive components (1 total):
Scalar product computed:
Simple basis of Cartan of centralizer (2 total):
matching e:
verification:
adjoint action:
matching e:
verification:
adjoint action:
Linear space basis of intersection of centralizer and ambient Cartan:
matching e:
verification:
adjoint action:
matching e:
verification:
adjoint action:
Elements in Cartan dual to root system: (1, 0), (-1, 0), (1, 1), (-1, -1), (2, 1), (-2, -1), (0, -1), (0, 1)
Co-symmetric Cartan Matrix of centralizer, scaled by ambient killing form:
Unfold the hidden panel for more information.
Unknown elements.
Participating positive roots: 0 vectors. .
Lie brackets of the unknowns.
The polynomial system that corresponds to finding the h, e, f triple:
Starting h, e, f triple. H is computed according to Dynkin, and the coefficients of f are arbitrarily chosen.
More precisely, the chevalley generators participating in f are ordered in the order in which their roots appear, and the coefficients are chosen arbitrarily. More precisely, the n^th coefficient either 1) equals (n-1)^2+1 or 2) equals a hard-coded number that is specific to the given ambient Lie algebra, dynkin index and h element. Whenever a hard-coded coefficient is used, it was selected so it results in fast computations. The selection was discovered through manual experimentation. As of writing, the arbitrary coefficient selection happens
here.
Matrix form of the system we are trying to solve:
The unknown Kostant-Sekiguchi elements.
The polynomial system we need to solve.
h-characteristic: (1, 0, 1, 1, 0, 1, 0, 0)Length of the weight dual to h: 40
Simple basis ambient algebra w.r.t defining h: 8 vectors:
(1, 0, 0, 0, 0, 0, 0, 0), (0, 1, 0, 0, 0, 0, 0, 0), (0, 0, 1, 0, 0, 0, 0, 0), (0, 0, 0, 1, 0, 0, 0, 0), (0, 0, 0, 0, 1, 0, 0, 0), (0, 0, 0, 0, 0, 1, 0, 0), (0, 0, 0, 0, 0, 0, 1, 0), (0, 0, 0, 0, 0, 0, 0, 1)
Containing regular semisimple subalgebra number 1:
-module decomposition of the ambient Lie algebra:
Below is one possible realization of the sl(2) subalgebra.
Lie brackets of the above elements.
Centralizer type:
Killing form square of Cartan element dual to ambient long root: 56
Basis of the centralizer (dimension: 6):
,
,
,
,
,
Basis of centralizer intersected with cartan (dimension: 2):
,
Cartan of centralizer (dimension: 2):
,
Cartan-generating semisimple element:
adjoint action:
Characteristic polynomial ad H:
Factorization of characteristic polynomial of ad H: (x )(x )(x -2)(x -2)(x +2)(x +2)
Eigenvalues of ad H:
,
,
6 eigenvectors of ad H:
,
,
,
,
,
Centralizer type: 2A^{2}_1
Reductive components (2 total):
Scalar product computed:
Simple basis of Cartan of centralizer (1 total):
matching e:
verification:
adjoint action:
Linear space basis of intersection of centralizer and ambient Cartan:
matching e:
verification:
adjoint action:
Elements in Cartan dual to root system: (1), (-1)
Co-symmetric Cartan Matrix of centralizer, scaled by ambient killing form:
Scalar product computed:
Simple basis of Cartan of centralizer (1 total):
matching e:
verification:
adjoint action:
Linear space basis of intersection of centralizer and ambient Cartan:
matching e:
verification:
adjoint action:
Elements in Cartan dual to root system: (1), (-1)
Co-symmetric Cartan Matrix of centralizer, scaled by ambient killing form:
Unfold the hidden panel for more information.
Unknown elements.
Participating positive roots: 0 vectors. .
Lie brackets of the unknowns.
The polynomial system that corresponds to finding the h, e, f triple:
Starting h, e, f triple. H is computed according to Dynkin, and the coefficients of f are arbitrarily chosen.
More precisely, the chevalley generators participating in f are ordered in the order in which their roots appear, and the coefficients are chosen arbitrarily. More precisely, the n^th coefficient either 1) equals (n-1)^2+1 or 2) equals a hard-coded number that is specific to the given ambient Lie algebra, dynkin index and h element. Whenever a hard-coded coefficient is used, it was selected so it results in fast computations. The selection was discovered through manual experimentation. As of writing, the arbitrary coefficient selection happens
here.
Matrix form of the system we are trying to solve:
The unknown Kostant-Sekiguchi elements.
The polynomial system we need to solve.
h-characteristic: (0, 2, 0, 2, 0, 0, 0, 0)Length of the weight dual to h: 40
Simple basis ambient algebra w.r.t defining h: 8 vectors:
(1, 0, 0, 0, 0, 0, 0, 0), (0, 1, 0, 0, 0, 0, 0, 0), (0, 0, 1, 0, 0, 0, 0, 0), (0, 0, 0, 1, 0, 0, 0, 0), (0, 0, 0, 0, 1, 0, 0, 0), (0, 0, 0, 0, 0, 1, 0, 0), (0, 0, 0, 0, 0, 0, 1, 0), (0, 0, 0, 0, 0, 0, 0, 1)
Number of containing regular semisimple subalgebras: 2
Containing regular semisimple subalgebra number 1:
Containing regular semisimple subalgebra number 2:
-module decomposition of the ambient Lie algebra:
Below is one possible realization of the sl(2) subalgebra.
Lie brackets of the above elements.
Centralizer type:
Unfold the hidden panel for more information.
Unknown elements.
Participating positive roots: 0 vectors. .
Lie brackets of the unknowns.
The polynomial system that corresponds to finding the h, e, f triple:
Starting h, e, f triple. H is computed according to Dynkin, and the coefficients of f are arbitrarily chosen.
More precisely, the chevalley generators participating in f are ordered in the order in which their roots appear, and the coefficients are chosen arbitrarily. More precisely, the n^th coefficient either 1) equals (n-1)^2+1 or 2) equals a hard-coded number that is specific to the given ambient Lie algebra, dynkin index and h element. Whenever a hard-coded coefficient is used, it was selected so it results in fast computations. The selection was discovered through manual experimentation. As of writing, the arbitrary coefficient selection happens
here.
Matrix form of the system we are trying to solve:
The unknown Kostant-Sekiguchi elements.
The polynomial system we need to solve.
h-characteristic: (2, 0, 0, 0, 2, 0, 0, 0)Length of the weight dual to h: 32
Simple basis ambient algebra w.r.t defining h: 8 vectors:
(1, 0, 0, 0, 0, 0, 0, 0), (0, 1, 0, 0, 0, 0, 0, 0), (0, 0, 1, 0, 0, 0, 0, 0), (0, 0, 0, 1, 0, 0, 0, 0), (0, 0, 0, 0, 1, 0, 0, 0), (0, 0, 0, 0, 0, 1, 0, 0), (0, 0, 0, 0, 0, 0, 1, 0), (0, 0, 0, 0, 0, 0, 0, 1)
Number of containing regular semisimple subalgebras: 3
Containing regular semisimple subalgebra number 1:
Containing regular semisimple subalgebra number 2:
Containing regular semisimple subalgebra number 3:
-module decomposition of the ambient Lie algebra:
Below is one possible realization of the sl(2) subalgebra.
Lie brackets of the above elements.
Centralizer type:
Killing form square of Cartan element dual to ambient long root: 56
Basis of the centralizer (dimension: 4):
,
,
,
Basis of centralizer intersected with cartan (dimension: 1):
Cartan of centralizer (dimension: 2):
,
Cartan-generating semisimple element:
adjoint action:
Characteristic polynomial ad H:
Factorization of characteristic polynomial of ad H: (x )(x )(x -1)(x +1)
Eigenvalues of ad H:
,
,
4 eigenvectors of ad H:
,
,
,
Centralizer type: A^{6}_1
Reductive components (1 total):
Scalar product computed:
Simple basis of Cartan of centralizer (1 total):
matching e:
verification:
adjoint action:
Linear space basis of intersection of centralizer and ambient Cartan:
matching e:
verification:
adjoint action:
Elements in Cartan dual to root system: (1), (-1)
Co-symmetric Cartan Matrix of centralizer, scaled by ambient killing form:
Unfold the hidden panel for more information.
Unknown elements.
Participating positive roots: 0 vectors. .
Lie brackets of the unknowns.
The polynomial system that corresponds to finding the h, e, f triple:
Starting h, e, f triple. H is computed according to Dynkin, and the coefficients of f are arbitrarily chosen.
More precisely, the chevalley generators participating in f are ordered in the order in which their roots appear, and the coefficients are chosen arbitrarily. More precisely, the n^th coefficient either 1) equals (n-1)^2+1 or 2) equals a hard-coded number that is specific to the given ambient Lie algebra, dynkin index and h element. Whenever a hard-coded coefficient is used, it was selected so it results in fast computations. The selection was discovered through manual experimentation. As of writing, the arbitrary coefficient selection happens
here.
Matrix form of the system we are trying to solve:
The unknown Kostant-Sekiguchi elements.
The polynomial system we need to solve.
h-characteristic: (2, 0, 0, 1, 0, 1, 0, 0)Length of the weight dual to h: 30
Simple basis ambient algebra w.r.t defining h: 8 vectors:
(1, 0, 0, 0, 0, 0, 0, 0), (0, 1, 0, 0, 0, 0, 0, 0), (0, 0, 1, 0, 0, 0, 0, 0), (0, 0, 0, 1, 0, 0, 0, 0), (0, 0, 0, 0, 1, 0, 0, 0), (0, 0, 0, 0, 0, 1, 0, 0), (0, 0, 0, 0, 0, 0, 1, 0), (0, 0, 0, 0, 0, 0, 0, 1)
Number of containing regular semisimple subalgebras: 2
Containing regular semisimple subalgebra number 1:
Containing regular semisimple subalgebra number 2:
-module decomposition of the ambient Lie algebra:
Below is one possible realization of the sl(2) subalgebra.
Lie brackets of the above elements.
Centralizer type:
Unfold the hidden panel for more information.
Unknown elements.
Participating positive roots: 0 vectors. .
Lie brackets of the unknowns.
The polynomial system that corresponds to finding the h, e, f triple:
Starting h, e, f triple. H is computed according to Dynkin, and the coefficients of f are arbitrarily chosen.
More precisely, the chevalley generators participating in f are ordered in the order in which their roots appear, and the coefficients are chosen arbitrarily. More precisely, the n^th coefficient either 1) equals (n-1)^2+1 or 2) equals a hard-coded number that is specific to the given ambient Lie algebra, dynkin index and h element. Whenever a hard-coded coefficient is used, it was selected so it results in fast computations. The selection was discovered through manual experimentation. As of writing, the arbitrary coefficient selection happens
here.
Matrix form of the system we are trying to solve:
The unknown Kostant-Sekiguchi elements.
The polynomial system we need to solve.
h-characteristic: (2, 0, 1, 0, 0, 0, 1, 1)Length of the weight dual to h: 28
Simple basis ambient algebra w.r.t defining h: 8 vectors:
(1, 0, 0, 0, 0, 0, 0, 0), (0, 1, 0, 0, 0, 0, 0, 0), (0, 0, 1, 0, 0, 0, 0, 0), (0, 0, 0, 1, 0, 0, 0, 0), (0, 0, 0, 0, 1, 0, 0, 0), (0, 0, 0, 0, 0, 1, 0, 0), (0, 0, 0, 0, 0, 0, 1, 0), (0, 0, 0, 0, 0, 0, 0, 1)
Containing regular semisimple subalgebra number 1:
-module decomposition of the ambient Lie algebra:
Below is one possible realization of the sl(2) subalgebra.
Lie brackets of the above elements.
Centralizer type:
Killing form square of Cartan element dual to ambient long root: 56
Basis of the centralizer (dimension: 10):
,
,
,
,
,
,
,
,
,
Basis of centralizer intersected with cartan (dimension: 2):
,
Cartan of centralizer (dimension: 2):
,
Cartan-generating semisimple element:
adjoint action:
Characteristic polynomial ad H:
Factorization of characteristic polynomial of ad H: (x )(x )(x -18)(x -10)(x -8)(x -2)(x +2)(x +8)(x +10)(x +18)
Eigenvalues of ad H:
,
,
,
,
,
,
,
,
10 eigenvectors of ad H:
,
,
,
,
,
,
,
,
,
Centralizer type: B^{1}_2
Reductive components (1 total):
Scalar product computed:
Simple basis of Cartan of centralizer (2 total):
matching e:
verification:
adjoint action:
matching e:
verification:
adjoint action:
Linear space basis of intersection of centralizer and ambient Cartan:
matching e:
verification:
adjoint action:
matching e:
verification:
adjoint action:
Elements in Cartan dual to root system: (1, 1), (-1, -1), (1, 2), (-1, -2), (1, 0), (-1, 0), (0, 1), (0, -1)
Co-symmetric Cartan Matrix of centralizer, scaled by ambient killing form:
Unfold the hidden panel for more information.
Unknown elements.
Participating positive roots: 0 vectors. .
Lie brackets of the unknowns.
The polynomial system that corresponds to finding the h, e, f triple:
Starting h, e, f triple. H is computed according to Dynkin, and the coefficients of f are arbitrarily chosen.
More precisely, the chevalley generators participating in f are ordered in the order in which their roots appear, and the coefficients are chosen arbitrarily. More precisely, the n^th coefficient either 1) equals (n-1)^2+1 or 2) equals a hard-coded number that is specific to the given ambient Lie algebra, dynkin index and h element. Whenever a hard-coded coefficient is used, it was selected so it results in fast computations. The selection was discovered through manual experimentation. As of writing, the arbitrary coefficient selection happens
here.
Matrix form of the system we are trying to solve:
The unknown Kostant-Sekiguchi elements.
The polynomial system we need to solve.
h-characteristic: (2, 0, 0, 2, 0, 0, 0, 0)Length of the weight dual to h: 28
Simple basis ambient algebra w.r.t defining h: 8 vectors:
(1, 0, 0, 0, 0, 0, 0, 0), (0, 1, 0, 0, 0, 0, 0, 0), (0, 0, 1, 0, 0, 0, 0, 0), (0, 0, 0, 1, 0, 0, 0, 0), (0, 0, 0, 0, 1, 0, 0, 0), (0, 0, 0, 0, 0, 1, 0, 0), (0, 0, 0, 0, 0, 0, 1, 0), (0, 0, 0, 0, 0, 0, 0, 1)
Number of containing regular semisimple subalgebras: 3
Containing regular semisimple subalgebra number 1:
Containing regular semisimple subalgebra number 2:
Containing regular semisimple subalgebra number 3:
-module decomposition of the ambient Lie algebra:
Below is one possible realization of the sl(2) subalgebra.
Lie brackets of the above elements.
Centralizer type:
Killing form square of Cartan element dual to ambient long root: 56
Basis of the centralizer (dimension: 11):
,
,
,
,
,
,
,
,
,
,
Basis of centralizer intersected with cartan (dimension: 3):
,
,
Cartan of centralizer (dimension: 3):
,
,
Cartan-generating semisimple element:
adjoint action:
Characteristic polynomial ad H:
Factorization of characteristic polynomial of ad H: (x )(x )(x )(x -11)(x -8)(x -5)(x -3)(x +3)(x +5)(x +8)(x +11)
Eigenvalues of ad H:
,
,
,
,
,
,
,
,
11 eigenvectors of ad H:
,
,
,
,
,
,
,
,
,
,
Centralizer type: B^{1}_2
Reductive components (1 total):
Scalar product computed:
Simple basis of Cartan of centralizer (2 total):
matching e:
verification:
adjoint action:
matching e:
verification:
adjoint action:
Linear space basis of intersection of centralizer and ambient Cartan:
matching e:
verification:
adjoint action:
matching e:
verification:
adjoint action:
Elements in Cartan dual to root system: (1, 1), (-1, -1), (2, 1), (-2, -1), (1, 0), (-1, 0), (0, 1), (0, -1)
Co-symmetric Cartan Matrix of centralizer, scaled by ambient killing form:
Unfold the hidden panel for more information.
Unknown elements.
Participating positive roots: 0 vectors. .
Lie brackets of the unknowns.
The polynomial system that corresponds to finding the h, e, f triple:
Starting h, e, f triple. H is computed according to Dynkin, and the coefficients of f are arbitrarily chosen.
More precisely, the chevalley generators participating in f are ordered in the order in which their roots appear, and the coefficients are chosen arbitrarily. More precisely, the n^th coefficient either 1) equals (n-1)^2+1 or 2) equals a hard-coded number that is specific to the given ambient Lie algebra, dynkin index and h element. Whenever a hard-coded coefficient is used, it was selected so it results in fast computations. The selection was discovered through manual experimentation. As of writing, the arbitrary coefficient selection happens
here.
Matrix form of the system we are trying to solve:
The unknown Kostant-Sekiguchi elements.
The polynomial system we need to solve.
h-characteristic: (0, 1, 0, 1, 0, 1, 0, 0)Length of the weight dual to h: 28
Simple basis ambient algebra w.r.t defining h: 8 vectors:
(1, 0, 0, 0, 0, 0, 0, 0), (0, 1, 0, 0, 0, 0, 0, 0), (0, 0, 1, 0, 0, 0, 0, 0), (0, 0, 0, 1, 0, 0, 0, 0), (0, 0, 0, 0, 1, 0, 0, 0), (0, 0, 0, 0, 0, 1, 0, 0), (0, 0, 0, 0, 0, 0, 1, 0), (0, 0, 0, 0, 0, 0, 0, 1)
Number of containing regular semisimple subalgebras: 2
Containing regular semisimple subalgebra number 1:
Containing regular semisimple subalgebra number 2:
-module decomposition of the ambient Lie algebra:
Below is one possible realization of the sl(2) subalgebra.
Lie brackets of the above elements.
Centralizer type:
Killing form square of Cartan element dual to ambient long root: 56
Basis of the centralizer (dimension: 5):
,
,
,
,
Basis of centralizer intersected with cartan (dimension: 1):
Cartan of centralizer (dimension: 3):
,
,
Cartan-generating semisimple element:
adjoint action:
Characteristic polynomial ad H:
Factorization of characteristic polynomial of ad H: (x )(x )(x )(x -2)(x +2)
Eigenvalues of ad H:
,
,
5 eigenvectors of ad H:
,
,
,
,
Centralizer type: A^{2}_1
Reductive components (1 total):
Scalar product computed:
Simple basis of Cartan of centralizer (1 total):
matching e:
verification:
adjoint action:
Linear space basis of intersection of centralizer and ambient Cartan:
matching e:
verification:
adjoint action:
Elements in Cartan dual to root system: (1), (-1)
Co-symmetric Cartan Matrix of centralizer, scaled by ambient killing form:
Unfold the hidden panel for more information.
Unknown elements.
Participating positive roots: 0 vectors. .
Lie brackets of the unknowns.
The polynomial system that corresponds to finding the h, e, f triple:
Starting h, e, f triple. H is computed according to Dynkin, and the coefficients of f are arbitrarily chosen.
More precisely, the chevalley generators participating in f are ordered in the order in which their roots appear, and the coefficients are chosen arbitrarily. More precisely, the n^th coefficient either 1) equals (n-1)^2+1 or 2) equals a hard-coded number that is specific to the given ambient Lie algebra, dynkin index and h element. Whenever a hard-coded coefficient is used, it was selected so it results in fast computations. The selection was discovered through manual experimentation. As of writing, the arbitrary coefficient selection happens
here.
Matrix form of the system we are trying to solve:
The unknown Kostant-Sekiguchi elements.
The polynomial system we need to solve.
h-characteristic: (0, 1, 1, 0, 0, 0, 1, 1)Length of the weight dual to h: 26
Simple basis ambient algebra w.r.t defining h: 8 vectors:
(1, 0, 0, 0, 0, 0, 0, 0), (0, 1, 0, 0, 0, 0, 0, 0), (0, 0, 1, 0, 0, 0, 0, 0), (0, 0, 0, 1, 0, 0, 0, 0), (0, 0, 0, 0, 1, 0, 0, 0), (0, 0, 0, 0, 0, 1, 0, 0), (0, 0, 0, 0, 0, 0, 1, 0), (0, 0, 0, 0, 0, 0, 0, 1)
Containing regular semisimple subalgebra number 1:
-module decomposition of the ambient Lie algebra:
Below is one possible realization of the sl(2) subalgebra.
Lie brackets of the above elements.
Centralizer type:
Killing form square of Cartan element dual to ambient long root: 56
Basis of the centralizer (dimension: 6):
,
,
,
,
,
Basis of centralizer intersected with cartan (dimension: 2):
,
Cartan of centralizer (dimension: 2):
,
Cartan-generating semisimple element:
adjoint action:
Characteristic polynomial ad H:
Factorization of characteristic polynomial of ad H: (x )(x )(x -4)(x -2)(x +2)(x +4)
Eigenvalues of ad H:
,
,
,
,
6 eigenvectors of ad H:
,
,
,
,
,
Centralizer type: A^{2}_1+A^{1}_1
Reductive components (2 total):
Scalar product computed:
Simple basis of Cartan of centralizer (1 total):
matching e:
verification:
adjoint action:
Linear space basis of intersection of centralizer and ambient Cartan:
matching e:
verification:
adjoint action:
Elements in Cartan dual to root system: (1), (-1)
Co-symmetric Cartan Matrix of centralizer, scaled by ambient killing form:
Scalar product computed:
Simple basis of Cartan of centralizer (1 total):
matching e:
verification:
adjoint action:
Linear space basis of intersection of centralizer and ambient Cartan:
matching e:
verification:
adjoint action:
Elements in Cartan dual to root system: (1), (-1)
Co-symmetric Cartan Matrix of centralizer, scaled by ambient killing form:
Unfold the hidden panel for more information.
Unknown elements.
Participating positive roots: 0 vectors. .
Lie brackets of the unknowns.
The polynomial system that corresponds to finding the h, e, f triple:
Starting h, e, f triple. H is computed according to Dynkin, and the coefficients of f are arbitrarily chosen.
More precisely, the chevalley generators participating in f are ordered in the order in which their roots appear, and the coefficients are chosen arbitrarily. More precisely, the n^th coefficient either 1) equals (n-1)^2+1 or 2) equals a hard-coded number that is specific to the given ambient Lie algebra, dynkin index and h element. Whenever a hard-coded coefficient is used, it was selected so it results in fast computations. The selection was discovered through manual experimentation. As of writing, the arbitrary coefficient selection happens
here.
Matrix form of the system we are trying to solve:
The unknown Kostant-Sekiguchi elements.
The polynomial system we need to solve.
h-characteristic: (2, 0, 1, 0, 1, 0, 0, 0)Length of the weight dual to h: 26
Simple basis ambient algebra w.r.t defining h: 8 vectors:
(1, 0, 0, 0, 0, 0, 0, 0), (0, 1, 0, 0, 0, 0, 0, 0), (0, 0, 1, 0, 0, 0, 0, 0), (0, 0, 0, 1, 0, 0, 0, 0), (0, 0, 0, 0, 1, 0, 0, 0), (0, 0, 0, 0, 0, 1, 0, 0), (0, 0, 0, 0, 0, 0, 1, 0), (0, 0, 0, 0, 0, 0, 0, 1)
Number of containing regular semisimple subalgebras: 2
Containing regular semisimple subalgebra number 1:
Containing regular semisimple subalgebra number 2:
-module decomposition of the ambient Lie algebra:
Below is one possible realization of the sl(2) subalgebra.
Lie brackets of the above elements.
Centralizer type:
Unfold the hidden panel for more information.
Unknown elements.
Participating positive roots: 0 vectors. .
Lie brackets of the unknowns.
The polynomial system that corresponds to finding the h, e, f triple:
Starting h, e, f triple. H is computed according to Dynkin, and the coefficients of f are arbitrarily chosen.
More precisely, the chevalley generators participating in f are ordered in the order in which their roots appear, and the coefficients are chosen arbitrarily. More precisely, the n^th coefficient either 1) equals (n-1)^2+1 or 2) equals a hard-coded number that is specific to the given ambient Lie algebra, dynkin index and h element. Whenever a hard-coded coefficient is used, it was selected so it results in fast computations. The selection was discovered through manual experimentation. As of writing, the arbitrary coefficient selection happens
here.
Matrix form of the system we are trying to solve:
The unknown Kostant-Sekiguchi elements.
The polynomial system we need to solve.
h-characteristic: (0, 2, 0, 0, 0, 0, 0, 2)Length of the weight dual to h: 24
Simple basis ambient algebra w.r.t defining h: 8 vectors:
(1, 0, 0, 0, 0, 0, 0, 0), (0, 1, 0, 0, 0, 0, 0, 0), (0, 0, 1, 0, 0, 0, 0, 0), (0, 0, 0, 1, 0, 0, 0, 0), (0, 0, 0, 0, 1, 0, 0, 0), (0, 0, 0, 0, 0, 1, 0, 0), (0, 0, 0, 0, 0, 0, 1, 0), (0, 0, 0, 0, 0, 0, 0, 1)
Containing regular semisimple subalgebra number 1:
-module decomposition of the ambient Lie algebra:
Below is one possible realization of the sl(2) subalgebra.
Lie brackets of the above elements.
Centralizer type:
Killing form square of Cartan element dual to ambient long root: 56
Basis of the centralizer (dimension: 13):
,
,
,
,
,
,
,
,
,
,
,
,
Basis of centralizer intersected with cartan (dimension: 3):
,
,
Cartan of centralizer (dimension: 3):
,
,
Cartan-generating semisimple element:
adjoint action:
Characteristic polynomial ad H:
Factorization of characteristic polynomial of ad H: (x )(x )(x )(x -20)(x -18)(x -12)(x -8)(x -4)(x +4)(x +8)(x +12)(x +18)(x +20)
Eigenvalues of ad H:
,
,
,
,
,
,
,
,
,
,
13 eigenvectors of ad H:
,
,
,
,
,
,
,
,
,
,
,
,
Centralizer type: B^{1}_2+A^{2}_1
Reductive components (2 total):
Scalar product computed:
Simple basis of Cartan of centralizer (2 total):
matching e:
verification:
adjoint action:
matching e:
verification:
adjoint action:
Linear space basis of intersection of centralizer and ambient Cartan:
matching e:
verification:
adjoint action:
matching e:
verification:
adjoint action:
Elements in Cartan dual to root system: (1, 1), (-1, -1), (1, 2), (-1, -2), (1, 0), (-1, 0), (0, 1), (0, -1)
Co-symmetric Cartan Matrix of centralizer, scaled by ambient killing form:
Scalar product computed:
Simple basis of Cartan of centralizer (1 total):
matching e:
verification:
adjoint action:
Linear space basis of intersection of centralizer and ambient Cartan:
matching e:
verification:
adjoint action:
Elements in Cartan dual to root system: (1), (-1)
Co-symmetric Cartan Matrix of centralizer, scaled by ambient killing form:
Unfold the hidden panel for more information.
Unknown elements.
Participating positive roots: 0 vectors. .
Lie brackets of the unknowns.
The polynomial system that corresponds to finding the h, e, f triple:
Starting h, e, f triple. H is computed according to Dynkin, and the coefficients of f are arbitrarily chosen.
More precisely, the chevalley generators participating in f are ordered in the order in which their roots appear, and the coefficients are chosen arbitrarily. More precisely, the n^th coefficient either 1) equals (n-1)^2+1 or 2) equals a hard-coded number that is specific to the given ambient Lie algebra, dynkin index and h element. Whenever a hard-coded coefficient is used, it was selected so it results in fast computations. The selection was discovered through manual experimentation. As of writing, the arbitrary coefficient selection happens
here.
Matrix form of the system we are trying to solve:
The unknown Kostant-Sekiguchi elements.
The polynomial system we need to solve.
h-characteristic: (2, 1, 0, 0, 0, 1, 0, 0)Length of the weight dual to h: 24
Simple basis ambient algebra w.r.t defining h: 8 vectors:
(1, 0, 0, 0, 0, 0, 0, 0), (0, 1, 0, 0, 0, 0, 0, 0), (0, 0, 1, 0, 0, 0, 0, 0), (0, 0, 0, 1, 0, 0, 0, 0), (0, 0, 0, 0, 1, 0, 0, 0), (0, 0, 0, 0, 0, 1, 0, 0), (0, 0, 0, 0, 0, 0, 1, 0), (0, 0, 0, 0, 0, 0, 0, 1)
Containing regular semisimple subalgebra number 1:
-module decomposition of the ambient Lie algebra:
Below is one possible realization of the sl(2) subalgebra.
Lie brackets of the above elements.
Centralizer type:
Killing form square of Cartan element dual to ambient long root: 56
Basis of the centralizer (dimension: 13):
,
,
,
,
,
,
,
,
,
,
,
,
Basis of centralizer intersected with cartan (dimension: 3):
,
,
Cartan of centralizer (dimension: 3):
,
,
Cartan-generating semisimple element:
adjoint action:
Characteristic polynomial ad H:
Factorization of characteristic polynomial of ad H: (x )(x )(x )(x -18)(x -14)(x -10)(x -8)(x -2)(x +2)(x +8)(x +10)(x +14)(x +18)
Eigenvalues of ad H:
,
,
,
,
,
,
,
,
,
,
13 eigenvectors of ad H:
,
,
,
,
,
,
,
,
,
,
,
,
Centralizer type: B^{1}_2+A^{2}_1
Reductive components (2 total):
Scalar product computed:
Simple basis of Cartan of centralizer (2 total):
matching e:
verification:
adjoint action:
matching e:
verification:
adjoint action:
Linear space basis of intersection of centralizer and ambient Cartan:
matching e:
verification:
adjoint action:
matching e:
verification:
adjoint action:
Elements in Cartan dual to root system: (1, 1), (-1, -1), (1, 2), (-1, -2), (1, 0), (-1, 0), (0, 1), (0, -1)
Co-symmetric Cartan Matrix of centralizer, scaled by ambient killing form:
Scalar product computed:
Simple basis of Cartan of centralizer (1 total):
matching e:
verification:
adjoint action:
Linear space basis of intersection of centralizer and ambient Cartan:
matching e:
verification:
adjoint action:
Elements in Cartan dual to root system: (1), (-1)
Co-symmetric Cartan Matrix of centralizer, scaled by ambient killing form:
Unfold the hidden panel for more information.
Unknown elements.
Participating positive roots: 0 vectors. .
Lie brackets of the unknowns.
The polynomial system that corresponds to finding the h, e, f triple:
Starting h, e, f triple. H is computed according to Dynkin, and the coefficients of f are arbitrarily chosen.
More precisely, the chevalley generators participating in f are ordered in the order in which their roots appear, and the coefficients are chosen arbitrarily. More precisely, the n^th coefficient either 1) equals (n-1)^2+1 or 2) equals a hard-coded number that is specific to the given ambient Lie algebra, dynkin index and h element. Whenever a hard-coded coefficient is used, it was selected so it results in fast computations. The selection was discovered through manual experimentation. As of writing, the arbitrary coefficient selection happens
here.
Matrix form of the system we are trying to solve:
The unknown Kostant-Sekiguchi elements.
The polynomial system we need to solve.
h-characteristic: (2, 0, 2, 0, 0, 0, 0, 0)Length of the weight dual to h: 24
Simple basis ambient algebra w.r.t defining h: 8 vectors:
(1, 0, 0, 0, 0, 0, 0, 0), (0, 1, 0, 0, 0, 0, 0, 0), (0, 0, 1, 0, 0, 0, 0, 0), (0, 0, 0, 1, 0, 0, 0, 0), (0, 0, 0, 0, 1, 0, 0, 0), (0, 0, 0, 0, 0, 1, 0, 0), (0, 0, 0, 0, 0, 0, 1, 0), (0, 0, 0, 0, 0, 0, 0, 1)
Number of containing regular semisimple subalgebras: 2
Containing regular semisimple subalgebra number 1:
Containing regular semisimple subalgebra number 2:
-module decomposition of the ambient Lie algebra:
Below is one possible realization of the sl(2) subalgebra.
Lie brackets of the above elements.
Centralizer type:
Unfold the hidden panel for more information.
Unknown elements.
Participating positive roots: 0 vectors. .
Lie brackets of the unknowns.
The polynomial system that corresponds to finding the h, e, f triple:
Starting h, e, f triple. H is computed according to Dynkin, and the coefficients of f are arbitrarily chosen.
More precisely, the chevalley generators participating in f are ordered in the order in which their roots appear, and the coefficients are chosen arbitrarily. More precisely, the n^th coefficient either 1) equals (n-1)^2+1 or 2) equals a hard-coded number that is specific to the given ambient Lie algebra, dynkin index and h element. Whenever a hard-coded coefficient is used, it was selected so it results in fast computations. The selection was discovered through manual experimentation. As of writing, the arbitrary coefficient selection happens
here.
Matrix form of the system we are trying to solve:
The unknown Kostant-Sekiguchi elements.
The polynomial system we need to solve.
h-characteristic: (0, 1, 1, 0, 1, 0, 0, 0)Length of the weight dual to h: 24
Simple basis ambient algebra w.r.t defining h: 8 vectors:
(1, 0, 0, 0, 0, 0, 0, 0), (0, 1, 0, 0, 0, 0, 0, 0), (0, 0, 1, 0, 0, 0, 0, 0), (0, 0, 0, 1, 0, 0, 0, 0), (0, 0, 0, 0, 1, 0, 0, 0), (0, 0, 0, 0, 0, 1, 0, 0), (0, 0, 0, 0, 0, 0, 1, 0), (0, 0, 0, 0, 0, 0, 0, 1)
Containing regular semisimple subalgebra number 1:
-module decomposition of the ambient Lie algebra:
Below is one possible realization of the sl(2) subalgebra.
Lie brackets of the above elements.
Centralizer type:
Killing form square of Cartan element dual to ambient long root: 56
Basis of the centralizer (dimension: 13):
,
,
,
,
,
,
,
,
,
,
,
,
Basis of centralizer intersected with cartan (dimension: 3):
,
,
Cartan of centralizer (dimension: 3):
,
,
Cartan-generating semisimple element:
adjoint action:
Characteristic polynomial ad H:
Factorization of characteristic polynomial of ad H: (x )(x )(x )(x -18)(x -14)(x -8)(x -6)(x -2)(x +2)(x +6)(x +8)(x +14)(x +18)
Eigenvalues of ad H:
,
,
,
,
,
,
,
,
,
,
13 eigenvectors of ad H:
,
,
,
,
,
,
,
,
,
,
,
,
Centralizer type: B^{1}_2+A^{2}_1
Reductive components (2 total):
Scalar product computed:
Simple basis of Cartan of centralizer (1 total):
matching e:
verification:
adjoint action:
Linear space basis of intersection of centralizer and ambient Cartan:
matching e:
verification:
adjoint action:
Elements in Cartan dual to root system: (1), (-1)
Co-symmetric Cartan Matrix of centralizer, scaled by ambient killing form:
Scalar product computed:
Simple basis of Cartan of centralizer (2 total):
matching e:
verification:
adjoint action:
matching e:
verification:
adjoint action:
Linear space basis of intersection of centralizer and ambient Cartan:
matching e:
verification:
adjoint action:
matching e:
verification:
adjoint action:
Elements in Cartan dual to root system: (1, 1), (-1, -1), (1, 2), (-1, -2), (1, 0), (-1, 0), (0, 1), (0, -1)
Co-symmetric Cartan Matrix of centralizer, scaled by ambient killing form:
Unfold the hidden panel for more information.
Unknown elements.
Participating positive roots: 0 vectors. .
Lie brackets of the unknowns.
The polynomial system that corresponds to finding the h, e, f triple:
Starting h, e, f triple. H is computed according to Dynkin, and the coefficients of f are arbitrarily chosen.
More precisely, the chevalley generators participating in f are ordered in the order in which their roots appear, and the coefficients are chosen arbitrarily. More precisely, the n^th coefficient either 1) equals (n-1)^2+1 or 2) equals a hard-coded number that is specific to the given ambient Lie algebra, dynkin index and h element. Whenever a hard-coded coefficient is used, it was selected so it results in fast computations. The selection was discovered through manual experimentation. As of writing, the arbitrary coefficient selection happens
here.
Matrix form of the system we are trying to solve:
The unknown Kostant-Sekiguchi elements.
The polynomial system we need to solve.
h-characteristic: (2, 1, 0, 1, 0, 0, 0, 0)Length of the weight dual to h: 22
Simple basis ambient algebra w.r.t defining h: 8 vectors:
(1, 0, 0, 0, 0, 0, 0, 0), (0, 1, 0, 0, 0, 0, 0, 0), (0, 0, 1, 0, 0, 0, 0, 0), (0, 0, 0, 1, 0, 0, 0, 0), (0, 0, 0, 0, 1, 0, 0, 0), (0, 0, 0, 0, 0, 1, 0, 0), (0, 0, 0, 0, 0, 0, 1, 0), (0, 0, 0, 0, 0, 0, 0, 1)
Containing regular semisimple subalgebra number 1:
-module decomposition of the ambient Lie algebra:
Below is one possible realization of the sl(2) subalgebra.
Lie brackets of the above elements.
Centralizer type:
Killing form square of Cartan element dual to ambient long root: 56
Basis of the centralizer (dimension: 24):
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
Basis of centralizer intersected with cartan (dimension: 4):
,
,
,
Cartan of centralizer (dimension: 4):
,
,
,
Cartan-generating semisimple element:
adjoint action:
Characteristic polynomial ad H:
Factorization of characteristic polynomial of ad H: (x )(x )(x )(x )(x -22)(x -19)(x -15)(x -14)(x -13)(x -9)(x -7)(x -6)(x -4)(x -3)(x +3)(x +4)(x +6)(x +7)(x +9)(x +13)(x +14)(x +15)(x +19)(x +22)
Eigenvalues of ad H:
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
24 eigenvectors of ad H:
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
Centralizer type: B^{1}_3+A^{1}_1
Reductive components (2 total):
Scalar product computed:
Simple basis of Cartan of centralizer (3 total):
matching e:
verification:
adjoint action:
matching e:
verification:
adjoint action:
matching e:
verification:
adjoint action:
Linear space basis of intersection of centralizer and ambient Cartan:
matching e:
verification:
adjoint action:
matching e:
verification:
adjoint action:
matching e:
verification:
adjoint action:
Elements in Cartan dual to root system: (1, 2, 1), (-1, -2, -1), (1, 1, 1), (-1, -1, -1), (1, 1, 0), (-1, -1, 0), (1, 2, 2), (-1, -2, -2), (1, 2, 0), (-1, -2, 0), (0, 1, 1), (0, -1, -1), (1, 0, 0), (-1, 0, 0), (0, 0, 1), (0, 0, -1), (0, 1, 0), (0, -1, 0)
Co-symmetric Cartan Matrix of centralizer, scaled by ambient killing form:
Scalar product computed:
Simple basis of Cartan of centralizer (1 total):
matching e:
verification:
adjoint action:
Linear space basis of intersection of centralizer and ambient Cartan:
matching e:
verification:
adjoint action:
Elements in Cartan dual to root system: (1), (-1)
Co-symmetric Cartan Matrix of centralizer, scaled by ambient killing form:
Unfold the hidden panel for more information.
Unknown elements.
Participating positive roots: 0 vectors. .
Lie brackets of the unknowns.
The polynomial system that corresponds to finding the h, e, f triple:
Starting h, e, f triple. H is computed according to Dynkin, and the coefficients of f are arbitrarily chosen.
More precisely, the chevalley generators participating in f are ordered in the order in which their roots appear, and the coefficients are chosen arbitrarily. More precisely, the n^th coefficient either 1) equals (n-1)^2+1 or 2) equals a hard-coded number that is specific to the given ambient Lie algebra, dynkin index and h element. Whenever a hard-coded coefficient is used, it was selected so it results in fast computations. The selection was discovered through manual experimentation. As of writing, the arbitrary coefficient selection happens
here.
Matrix form of the system we are trying to solve:
The unknown Kostant-Sekiguchi elements.
The polynomial system we need to solve.
h-characteristic: (0, 2, 0, 0, 0, 1, 0, 0)Length of the weight dual to h: 22
Simple basis ambient algebra w.r.t defining h: 8 vectors:
(1, 0, 0, 0, 0, 0, 0, 0), (0, 1, 0, 0, 0, 0, 0, 0), (0, 0, 1, 0, 0, 0, 0, 0), (0, 0, 0, 1, 0, 0, 0, 0), (0, 0, 0, 0, 1, 0, 0, 0), (0, 0, 0, 0, 0, 1, 0, 0), (0, 0, 0, 0, 0, 0, 1, 0), (0, 0, 0, 0, 0, 0, 0, 1)
Containing regular semisimple subalgebra number 1:
-module decomposition of the ambient Lie algebra:
Below is one possible realization of the sl(2) subalgebra.
Lie brackets of the above elements.
Centralizer type:
Killing form square of Cartan element dual to ambient long root: 56
Basis of the centralizer (dimension: 12):
,
,
,
,
,
,
,
,
,
,
,
Basis of centralizer intersected with cartan (dimension: 4):
,
,
,
Cartan of centralizer (dimension: 4):
,
,
,
Cartan-generating semisimple element:
adjoint action:
Characteristic polynomial ad H:
Factorization of characteristic polynomial of ad H: (x )(x )(x )(x )(x -14)(x -10)(x -4)(x -2)(x +2)(x +4)(x +10)(x +14)
Eigenvalues of ad H:
,
,
,
,
,
,
,
,
12 eigenvectors of ad H:
,
,
,
,
,
,
,
,
,
,
,
Centralizer type: A^{2}_1+3A^{1}_1
Reductive components (4 total):
Scalar product computed:
Simple basis of Cartan of centralizer (1 total):
matching e:
verification:
adjoint action:
Linear space basis of intersection of centralizer and ambient Cartan:
matching e:
verification:
adjoint action:
Elements in Cartan dual to root system: (1), (-1)
Co-symmetric Cartan Matrix of centralizer, scaled by ambient killing form:
Scalar product computed:
Simple basis of Cartan of centralizer (1 total):
matching e:
verification:
adjoint action:
Linear space basis of intersection of centralizer and ambient Cartan:
matching e:
verification:
adjoint action:
Elements in Cartan dual to root system: (1), (-1)
Co-symmetric Cartan Matrix of centralizer, scaled by ambient killing form:
Scalar product computed:
Simple basis of Cartan of centralizer (1 total):
matching e:
verification:
adjoint action:
Linear space basis of intersection of centralizer and ambient Cartan:
matching e:
verification:
adjoint action:
Elements in Cartan dual to root system: (1), (-1)
Co-symmetric Cartan Matrix of centralizer, scaled by ambient killing form:
Scalar product computed:
Simple basis of Cartan of centralizer (1 total):
matching e:
verification:
adjoint action:
Linear space basis of intersection of centralizer and ambient Cartan:
matching e:
verification:
adjoint action:
Elements in Cartan dual to root system: (1), (-1)
Co-symmetric Cartan Matrix of centralizer, scaled by ambient killing form:
Unfold the hidden panel for more information.
Unknown elements.
Participating positive roots: 0 vectors. .
Lie brackets of the unknowns.
The polynomial system that corresponds to finding the h, e, f triple:
Starting h, e, f triple. H is computed according to Dynkin, and the coefficients of f are arbitrarily chosen.
More precisely, the chevalley generators participating in f are ordered in the order in which their roots appear, and the coefficients are chosen arbitrarily. More precisely, the n^th coefficient either 1) equals (n-1)^2+1 or 2) equals a hard-coded number that is specific to the given ambient Lie algebra, dynkin index and h element. Whenever a hard-coded coefficient is used, it was selected so it results in fast computations. The selection was discovered through manual experimentation. As of writing, the arbitrary coefficient selection happens
here.
Matrix form of the system we are trying to solve:
The unknown Kostant-Sekiguchi elements.
The polynomial system we need to solve.
h-characteristic: (2, 2, 0, 0, 0, 0, 0, 0)Length of the weight dual to h: 20
Simple basis ambient algebra w.r.t defining h: 8 vectors:
(1, 0, 0, 0, 0, 0, 0, 0), (0, 1, 0, 0, 0, 0, 0, 0), (0, 0, 1, 0, 0, 0, 0, 0), (0, 0, 0, 1, 0, 0, 0, 0), (0, 0, 0, 0, 1, 0, 0, 0), (0, 0, 0, 0, 0, 1, 0, 0), (0, 0, 0, 0, 0, 0, 1, 0), (0, 0, 0, 0, 0, 0, 0, 1)
Containing regular semisimple subalgebra number 1:
-module decomposition of the ambient Lie algebra:
Below is one possible realization of the sl(2) subalgebra.
Lie brackets of the above elements.
Centralizer type:
Killing form square of Cartan element dual to ambient long root: 56
Basis of the centralizer (dimension: 55):
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
Basis of centralizer intersected with cartan (dimension: 5):
,
,
,
,
Cartan of centralizer (dimension: 5):
,
,
,
,
Cartan-generating semisimple element:
adjoint action:
Characteristic polynomial ad H:
Factorization of characteristic polynomial of ad H: (x )(x )(x )(x )(x )(x -26)(x -25)(x -21)(x -19)(x -17)(x -17)(x -15)(x -13)(x -13)(x -12)(x -11)(x -10)(x -9)(x -9)(x -8)(x -8)(x -7)(x -6)(x -6)(x -5)(x -4)(x -4)(x -2)(x -2)(x -1)(x +1)(x +2)(x +2)(x +4)(x +4)(x +5)(x +6)(x +6)(x +7)(x +8)(x +8)(x +9)(x +9)(x +10)(x +11)(x +12)(x +13)(x +13)(x +15)(x +17)(x +17)(x +19)(x +21)(x +25)(x +26)
Eigenvalues of ad H:
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
55 eigenvectors of ad H:
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
Centralizer type: B^{1}_5
Reductive components (1 total):
Scalar product computed:
Simple basis of Cartan of centralizer (5 total):
matching e:
verification:
adjoint action:
matching e:
verification:
adjoint action:
matching e:
verification:
adjoint action:
matching e:
verification:
adjoint action:
matching e:
verification:
adjoint action:
Linear space basis of intersection of centralizer and ambient Cartan:
matching e:
verification:
adjoint action:
matching e:
verification:
adjoint action:
matching e:
verification:
adjoint action:
matching e:
verification:
adjoint action:
matching e:
verification:
adjoint action:
Elements in Cartan dual to root system: (1, 2, 2, 1, 2), (-1, -2, -2, -1, -2), (1, 1, 2, 1, 2), (-1, -1, -2, -1, -2), (1, 1, 1, 1, 2), (-1, -1, -1, -1, -2), (1, 1, 1, 1, 1), (-1, -1, -1, -1, -1), (0, 1, 2, 1, 2), (0, -1, -2, -1, -2), (2, 2, 2, 1, 2), (-2, -2, -2, -1, -2), (1, 1, 1, 0, 1), (-1, -1, -1, 0, -1), (0, 1, 1, 1, 2), (0, -1, -1, -1, -2), (1, 1, 1, 0, 0), (-1, -1, -1, 0, 0), (0, 0, 1, 1, 2), (0, 0, -1, -1, -2), (0, 1, 1, 1, 1), (0, -1, -1, -1, -1), (0, 0, 1, 1, 1), (0, 0, -1, -1, -1), (0, 2, 2, 1, 2), (0, -2, -2, -1, -2), (1, 1, 0, 0, 0), (-1, -1, 0, 0, 0), (1, 0, 0, 0, 0), (-1, 0, 0, 0, 0), (0, 0, 2, 1, 2), (0, 0, -2, -1, -2), (0, 1, 1, 0, 1), (0, -1, -1, 0, -1), (0, 0, 1, 0, 1), (0, 0, -1, 0, -1), (0, 0, 0, 1, 1), (0, 0, 0, -1, -1), (0, 1, 1, 0, 0), (0, -1, -1, 0, 0), (0, 0, 1, 0, 0), (0, 0, -1, 0, 0), (0, 0, 0, 1, 2), (0, 0, 0, -1, -2), (0, 0, 0, 0, 1), (0, 0, 0, 0, -1), (0, 0, 0, 1, 0), (0, 0, 0, -1, 0), (0, 1, 0, 0, 0), (0, -1, 0, 0, 0)
Co-symmetric Cartan Matrix of centralizer, scaled by ambient killing form:
Unfold the hidden panel for more information.
Unknown elements.
Participating positive roots: 0 vectors. .
Lie brackets of the unknowns.
The polynomial system that corresponds to finding the h, e, f triple:
Starting h, e, f triple. H is computed according to Dynkin, and the coefficients of f are arbitrarily chosen.
More precisely, the chevalley generators participating in f are ordered in the order in which their roots appear, and the coefficients are chosen arbitrarily. More precisely, the n^th coefficient either 1) equals (n-1)^2+1 or 2) equals a hard-coded number that is specific to the given ambient Lie algebra, dynkin index and h element. Whenever a hard-coded coefficient is used, it was selected so it results in fast computations. The selection was discovered through manual experimentation. As of writing, the arbitrary coefficient selection happens
here.
Matrix form of the system we are trying to solve:
The unknown Kostant-Sekiguchi elements.
The polynomial system we need to solve.
h-characteristic: (0, 2, 0, 1, 0, 0, 0, 0)Length of the weight dual to h: 20
Simple basis ambient algebra w.r.t defining h: 8 vectors:
(1, 0, 0, 0, 0, 0, 0, 0), (0, 1, 0, 0, 0, 0, 0, 0), (0, 0, 1, 0, 0, 0, 0, 0), (0, 0, 0, 1, 0, 0, 0, 0), (0, 0, 0, 0, 1, 0, 0, 0), (0, 0, 0, 0, 0, 1, 0, 0), (0, 0, 0, 0, 0, 0, 1, 0), (0, 0, 0, 0, 0, 0, 0, 1)
Containing regular semisimple subalgebra number 1:
-module decomposition of the ambient Lie algebra:
Below is one possible realization of the sl(2) subalgebra.
Lie brackets of the above elements.
Centralizer type:
Killing form square of Cartan element dual to ambient long root: 56
Basis of the centralizer (dimension: 31):
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
Basis of centralizer intersected with cartan (dimension: 5):
,
,
,
,
Cartan of centralizer (dimension: 5):
,
,
,
,
Cartan-generating semisimple element:
adjoint action:
Characteristic polynomial ad H:
Factorization of characteristic polynomial of ad H: (x )(x )(x )(x )(x )(x -19)(x -18)(x -18)(x -17)(x -15)(x -14)(x -13)(x -5)(x -4)(x -3)(x -2)(x -1)(x -1)(x +1)(x +1)(x +2)(x +3)(x +4)(x +5)(x +13)(x +14)(x +15)(x +17)(x +18)(x +18)(x +19)
Eigenvalues of ad H:
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
31 eigenvectors of ad H:
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
Centralizer type: D^{1}_4+A^{2}_1
Reductive components (2 total):
Scalar product computed:
Simple basis of Cartan of centralizer (4 total):
matching e:
verification:
adjoint action:
matching e:
verification:
adjoint action:
matching e:
verification:
adjoint action:
matching e:
verification:
adjoint action:
Linear space basis of intersection of centralizer and ambient Cartan:
matching e:
verification:
adjoint action:
matching e:
verification:
adjoint action:
matching e:
verification:
adjoint action:
matching e:
verification:
adjoint action:
Elements in Cartan dual to root system: (1, 1, 1, 2), (-1, -1, -1, -2), (1, 1, 1, 1), (-1, -1, -1, -1), (1, 0, 1, 1), (-1, 0, -1, -1), (1, 1, 0, 1), (-1, -1, 0, -1), (1, 0, 0, 1), (-1, 0, 0, -1), (1, 0, 0, 0), (-1, 0, 0, 0), (0, 1, 1, 1), (0, -1, -1, -1), (0, 0, 1, 1), (0, 0, -1, -1), (0, 0, 1, 0), (0, 0, -1, 0), (0, 1, 0, 1), (0, -1, 0, -1), (0, 0, 0, 1), (0, 0, 0, -1), (0, 1, 0, 0), (0, -1, 0, 0)
Co-symmetric Cartan Matrix of centralizer, scaled by ambient killing form:
Scalar product computed:
Simple basis of Cartan of centralizer (1 total):
matching e:
verification:
adjoint action:
Linear space basis of intersection of centralizer and ambient Cartan:
matching e:
verification:
adjoint action:
Elements in Cartan dual to root system: (1), (-1)
Co-symmetric Cartan Matrix of centralizer, scaled by ambient killing form:
Unfold the hidden panel for more information.
Unknown elements.
Participating positive roots: 0 vectors. .
Lie brackets of the unknowns.
The polynomial system that corresponds to finding the h, e, f triple:
Starting h, e, f triple. H is computed according to Dynkin, and the coefficients of f are arbitrarily chosen.
More precisely, the chevalley generators participating in f are ordered in the order in which their roots appear, and the coefficients are chosen arbitrarily. More precisely, the n^th coefficient either 1) equals (n-1)^2+1 or 2) equals a hard-coded number that is specific to the given ambient Lie algebra, dynkin index and h element. Whenever a hard-coded coefficient is used, it was selected so it results in fast computations. The selection was discovered through manual experimentation. As of writing, the arbitrary coefficient selection happens
here.
Matrix form of the system we are trying to solve:
The unknown Kostant-Sekiguchi elements.
The polynomial system we need to solve.
h-characteristic: (0, 0, 0, 0, 2, 0, 0, 0)Length of the weight dual to h: 20
Simple basis ambient algebra w.r.t defining h: 8 vectors:
(1, 0, 0, 0, 0, 0, 0, 0), (0, 1, 0, 0, 0, 0, 0, 0), (0, 0, 1, 0, 0, 0, 0, 0), (0, 0, 0, 1, 0, 0, 0, 0), (0, 0, 0, 0, 1, 0, 0, 0), (0, 0, 0, 0, 0, 1, 0, 0), (0, 0, 0, 0, 0, 0, 1, 0), (0, 0, 0, 0, 0, 0, 0, 1)
Containing regular semisimple subalgebra number 1:
-module decomposition of the ambient Lie algebra:
Below is one possible realization of the sl(2) subalgebra.
Lie brackets of the above elements.
Centralizer type:
Killing form square of Cartan element dual to ambient long root: 56
Basis of the centralizer (dimension: 10):
,
,
,
,
,
,
,
,
,
Basis of centralizer intersected with cartan (dimension: 2):
,
Cartan of centralizer (dimension: 2):
,
Cartan-generating semisimple element:
adjoint action:
Characteristic polynomial ad H:
Factorization of characteristic polynomial of ad H: (x )(x )(x -10)(x -9)(x -8)(x -1)(x +1)(x +8)(x +9)(x +10)
Eigenvalues of ad H:
,
,
,
,
,
,
,
,
10 eigenvectors of ad H:
,
,
,
,
,
,
,
,
,
Centralizer type: B^{3}_2
Reductive components (1 total):
Scalar product computed:
Simple basis of Cartan of centralizer (2 total):
matching e:
verification:
adjoint action:
matching e:
verification:
adjoint action:
Linear space basis of intersection of centralizer and ambient Cartan:
matching e:
verification:
adjoint action:
matching e:
verification:
adjoint action:
Elements in Cartan dual to root system: (1, 1), (-1, -1), (2, 1), (-2, -1), (1, 0), (-1, 0), (0, 1), (0, -1)
Co-symmetric Cartan Matrix of centralizer, scaled by ambient killing form:
Unfold the hidden panel for more information.
Unknown elements.
Participating positive roots: 0 vectors. .
Lie brackets of the unknowns.
The polynomial system that corresponds to finding the h, e, f triple:
Starting h, e, f triple. H is computed according to Dynkin, and the coefficients of f are arbitrarily chosen.
More precisely, the chevalley generators participating in f are ordered in the order in which their roots appear, and the coefficients are chosen arbitrarily. More precisely, the n^th coefficient either 1) equals (n-1)^2+1 or 2) equals a hard-coded number that is specific to the given ambient Lie algebra, dynkin index and h element. Whenever a hard-coded coefficient is used, it was selected so it results in fast computations. The selection was discovered through manual experimentation. As of writing, the arbitrary coefficient selection happens
here.
Matrix form of the system we are trying to solve:
The unknown Kostant-Sekiguchi elements.
The polynomial system we need to solve.
h-characteristic: (0, 0, 0, 1, 0, 1, 0, 0)Length of the weight dual to h: 18
Simple basis ambient algebra w.r.t defining h: 8 vectors:
(1, 0, 0, 0, 0, 0, 0, 0), (0, 1, 0, 0, 0, 0, 0, 0), (0, 0, 1, 0, 0, 0, 0, 0), (0, 0, 0, 1, 0, 0, 0, 0), (0, 0, 0, 0, 1, 0, 0, 0), (0, 0, 0, 0, 0, 1, 0, 0), (0, 0, 0, 0, 0, 0, 1, 0), (0, 0, 0, 0, 0, 0, 0, 1)
Containing regular semisimple subalgebra number 1:
-module decomposition of the ambient Lie algebra:
Below is one possible realization of the sl(2) subalgebra.
Lie brackets of the above elements.
Centralizer type:
Killing form square of Cartan element dual to ambient long root: 56
Basis of the centralizer (dimension: 9):
,
,
,
,
,
,
,
,
Basis of centralizer intersected with cartan (dimension: 3):
,
,
Cartan of centralizer (dimension: 3):
,
,
Cartan-generating semisimple element:
adjoint action:
Characteristic polynomial ad H:
Factorization of characteristic polynomial of ad H: (x )(x )(x )(x -18)(x -8)(x -6)(x +6)(x +8)(x +18)
Eigenvalues of ad H:
,
,
,
,
,
,
9 eigenvectors of ad H:
,
,
,
,
,
,
,
,
Centralizer type: 2A^{3}_1+A^{1}_1
Reductive components (3 total):
Scalar product computed:
Simple basis of Cartan of centralizer (1 total):
matching e:
verification:
adjoint action:
Linear space basis of intersection of centralizer and ambient Cartan:
matching e:
verification:
adjoint action:
Elements in Cartan dual to root system: (1), (-1)
Co-symmetric Cartan Matrix of centralizer, scaled by ambient killing form:
Scalar product computed:
Simple basis of Cartan of centralizer (1 total):
matching e:
verification:
adjoint action:
Linear space basis of intersection of centralizer and ambient Cartan:
matching e:
verification:
adjoint action:
Elements in Cartan dual to root system: (1), (-1)
Co-symmetric Cartan Matrix of centralizer, scaled by ambient killing form:
Scalar product computed:
Simple basis of Cartan of centralizer (1 total):
matching e:
verification:
adjoint action:
Linear space basis of intersection of centralizer and ambient Cartan:
matching e:
verification:
adjoint action:
Elements in Cartan dual to root system: (1), (-1)
Co-symmetric Cartan Matrix of centralizer, scaled by ambient killing form:
Unfold the hidden panel for more information.
Unknown elements.
Participating positive roots: 0 vectors. .
Lie brackets of the unknowns.
The polynomial system that corresponds to finding the h, e, f triple:
Starting h, e, f triple. H is computed according to Dynkin, and the coefficients of f are arbitrarily chosen.
More precisely, the chevalley generators participating in f are ordered in the order in which their roots appear, and the coefficients are chosen arbitrarily. More precisely, the n^th coefficient either 1) equals (n-1)^2+1 or 2) equals a hard-coded number that is specific to the given ambient Lie algebra, dynkin index and h element. Whenever a hard-coded coefficient is used, it was selected so it results in fast computations. The selection was discovered through manual experimentation. As of writing, the arbitrary coefficient selection happens
here.
Matrix form of the system we are trying to solve:
The unknown Kostant-Sekiguchi elements.
The polynomial system we need to solve.
h-characteristic: (0, 0, 0, 2, 0, 0, 0, 0)Length of the weight dual to h: 16
Simple basis ambient algebra w.r.t defining h: 8 vectors:
(1, 0, 0, 0, 0, 0, 0, 0), (0, 1, 0, 0, 0, 0, 0, 0), (0, 0, 1, 0, 0, 0, 0, 0), (0, 0, 0, 1, 0, 0, 0, 0), (0, 0, 0, 0, 1, 0, 0, 0), (0, 0, 0, 0, 0, 1, 0, 0), (0, 0, 0, 0, 0, 0, 1, 0), (0, 0, 0, 0, 0, 0, 0, 1)
Number of containing regular semisimple subalgebras: 3
Containing regular semisimple subalgebra number 1:
Containing regular semisimple subalgebra number 2:
Containing regular semisimple subalgebra number 3:
-module decomposition of the ambient Lie algebra:
Below is one possible realization of the sl(2) subalgebra.
Lie brackets of the above elements.
Centralizer type:
Killing form square of Cartan element dual to ambient long root: 56
Basis of the centralizer (dimension: 12):
,
,
,
,
,
,
,
,
,
,
,
Basis of centralizer intersected with cartan (dimension: 4):
,
,
,
Cartan of centralizer (dimension: 4):
,
,
,
Cartan-generating semisimple element:
adjoint action:
Characteristic polynomial ad H:
Factorization of characteristic polynomial of ad H: (x )(x )(x )(x )(x^2-5)(x^2-5)(x^2-5)(x^2+3)
Eigenvalues of ad H:
,
,
,
,
12 eigenvectors of ad H:
,
,
,
,
,
,
,
,
,
,
,
Centralizer type: 2A^{3}_1+2A^{1}_1
Reductive components (4 total):
Scalar product computed:
Simple basis of Cartan of centralizer (1 total):
matching e:
verification:
adjoint action:
Linear space basis of intersection of centralizer and ambient Cartan:
matching e:
verification:
adjoint action:
Elements in Cartan dual to root system: (1), (-1)
Co-symmetric Cartan Matrix of centralizer, scaled by ambient killing form:
Scalar product computed:
Simple basis of Cartan of centralizer (1 total):
matching e:
verification:
adjoint action:
Linear space basis of intersection of centralizer and ambient Cartan:
matching e:
verification:
adjoint action:
Elements in Cartan dual to root system: (1), (-1)
Co-symmetric Cartan Matrix of centralizer, scaled by ambient killing form:
Scalar product computed:
Simple basis of Cartan of centralizer (1 total):
matching e:
verification:
adjoint action:
Linear space basis of intersection of centralizer and ambient Cartan:
matching e:
verification:
adjoint action:
Elements in Cartan dual to root system: (1), (-1)
Co-symmetric Cartan Matrix of centralizer, scaled by ambient killing form:
Scalar product computed:
Simple basis of Cartan of centralizer (1 total):
matching e:
verification:
adjoint action:
Linear space basis of intersection of centralizer and ambient Cartan:
matching e:
verification:
adjoint action:
Elements in Cartan dual to root system: (1), (-1)
Co-symmetric Cartan Matrix of centralizer, scaled by ambient killing form:
Unfold the hidden panel for more information.
Unknown elements.
Participating positive roots: 0 vectors. .
Lie brackets of the unknowns.
The polynomial system that corresponds to finding the h, e, f triple:
Starting h, e, f triple. H is computed according to Dynkin, and the coefficients of f are arbitrarily chosen.
More precisely, the chevalley generators participating in f are ordered in the order in which their roots appear, and the coefficients are chosen arbitrarily. More precisely, the n^th coefficient either 1) equals (n-1)^2+1 or 2) equals a hard-coded number that is specific to the given ambient Lie algebra, dynkin index and h element. Whenever a hard-coded coefficient is used, it was selected so it results in fast computations. The selection was discovered through manual experimentation. As of writing, the arbitrary coefficient selection happens
here.
Matrix form of the system we are trying to solve:
The unknown Kostant-Sekiguchi elements.
The polynomial system we need to solve.
h-characteristic: (0, 0, 1, 0, 1, 0, 0, 0)Length of the weight dual to h: 14
Simple basis ambient algebra w.r.t defining h: 8 vectors:
(1, 0, 0, 0, 0, 0, 0, 0), (0, 1, 0, 0, 0, 0, 0, 0), (0, 0, 1, 0, 0, 0, 0, 0), (0, 0, 0, 1, 0, 0, 0, 0), (0, 0, 0, 0, 1, 0, 0, 0), (0, 0, 0, 0, 0, 1, 0, 0), (0, 0, 0, 0, 0, 0, 1, 0), (0, 0, 0, 0, 0, 0, 0, 1)
Number of containing regular semisimple subalgebras: 2
Containing regular semisimple subalgebra number 1:
Containing regular semisimple subalgebra number 2:
-module decomposition of the ambient Lie algebra:
Below is one possible realization of the sl(2) subalgebra.
Lie brackets of the above elements.
Centralizer type:
Killing form square of Cartan element dual to ambient long root: 56
Basis of the centralizer (dimension: 9):
,
,
,
,
,
,
,
,
Basis of centralizer intersected with cartan (dimension: 3):
,
,
Cartan of centralizer (dimension: 3):
,
,
Cartan-generating semisimple element:
adjoint action:
Characteristic polynomial ad H:
Factorization of characteristic polynomial of ad H: (x )(x )(x )(x -3)(x -2)(x -1)(x +1)(x +2)(x +3)
Eigenvalues of ad H:
,
,
,
,
,
,
9 eigenvectors of ad H:
,
,
,
,
,
,
,
,
Centralizer type: A^{6}_1+A^{2}_1+A^{1}_1
Reductive components (3 total):
Scalar product computed:
Simple basis of Cartan of centralizer (1 total):
matching e:
verification:
adjoint action:
Linear space basis of intersection of centralizer and ambient Cartan:
matching e:
verification:
adjoint action:
Elements in Cartan dual to root system: (1), (-1)
Co-symmetric Cartan Matrix of centralizer, scaled by ambient killing form:
Scalar product computed:
Simple basis of Cartan of centralizer (1 total):
matching e:
verification:
adjoint action:
Linear space basis of intersection of centralizer and ambient Cartan:
matching e:
verification:
adjoint action:
Elements in Cartan dual to root system: (1), (-1)
Co-symmetric Cartan Matrix of centralizer, scaled by ambient killing form:
Scalar product computed:
Simple basis of Cartan of centralizer (1 total):
matching e:
verification:
adjoint action:
Linear space basis of intersection of centralizer and ambient Cartan:
matching e:
verification:
adjoint action:
Elements in Cartan dual to root system: (1), (-1)
Co-symmetric Cartan Matrix of centralizer, scaled by ambient killing form:
Unfold the hidden panel for more information.
Unknown elements.
Participating positive roots: 0 vectors. .
Lie brackets of the unknowns.
The polynomial system that corresponds to finding the h, e, f triple:
Starting h, e, f triple. H is computed according to Dynkin, and the coefficients of f are arbitrarily chosen.
More precisely, the chevalley generators participating in f are ordered in the order in which their roots appear, and the coefficients are chosen arbitrarily. More precisely, the n^th coefficient either 1) equals (n-1)^2+1 or 2) equals a hard-coded number that is specific to the given ambient Lie algebra, dynkin index and h element. Whenever a hard-coded coefficient is used, it was selected so it results in fast computations. The selection was discovered through manual experimentation. As of writing, the arbitrary coefficient selection happens
here.
Matrix form of the system we are trying to solve:
The unknown Kostant-Sekiguchi elements.
The polynomial system we need to solve.
h-characteristic: (0, 1, 0, 0, 0, 1, 0, 0)Length of the weight dual to h: 12
Simple basis ambient algebra w.r.t defining h: 8 vectors:
(1, 0, 0, 0, 0, 0, 0, 0), (0, 1, 0, 0, 0, 0, 0, 0), (0, 0, 1, 0, 0, 0, 0, 0), (0, 0, 0, 1, 0, 0, 0, 0), (0, 0, 0, 0, 1, 0, 0, 0), (0, 0, 0, 0, 0, 1, 0, 0), (0, 0, 0, 0, 0, 0, 1, 0), (0, 0, 0, 0, 0, 0, 0, 1)
Number of containing regular semisimple subalgebras: 2
Containing regular semisimple subalgebra number 1:
Containing regular semisimple subalgebra number 2:
-module decomposition of the ambient Lie algebra:
Below is one possible realization of the sl(2) subalgebra.
Lie brackets of the above elements.
Centralizer type:
Killing form square of Cartan element dual to ambient long root: 56
Basis of the centralizer (dimension: 12):
,
,
,
,
,
,
,
,
,
,
,
Basis of centralizer intersected with cartan (dimension: 4):
,
,
,
Cartan of centralizer (dimension: 4):
,
,
,
Cartan-generating semisimple element:
adjoint action:
Characteristic polynomial ad H:
Factorization of characteristic polynomial of ad H: (x )(x )(x )(x )(x -10)(x -6)(x -4)(x -2)(x +2)(x +4)(x +6)(x +10)
Eigenvalues of ad H:
,
,
,
,
,
,
,
,
12 eigenvectors of ad H:
,
,
,
,
,
,
,
,
,
,
,
Centralizer type: B^{1}_2
Reductive components (1 total):
Scalar product computed:
Simple basis of Cartan of centralizer (2 total):
matching e:
verification:
adjoint action:
matching e:
verification:
adjoint action:
Linear space basis of intersection of centralizer and ambient Cartan:
matching e:
verification:
adjoint action:
matching e:
verification:
adjoint action:
Elements in Cartan dual to root system: (1, 1), (-1, -1), (1, 2), (-1, -2), (1, 0), (-1, 0), (0, 1), (0, -1)
Co-symmetric Cartan Matrix of centralizer, scaled by ambient killing form:
Unfold the hidden panel for more information.
Unknown elements.
Participating positive roots: 0 vectors. .
Lie brackets of the unknowns.
The polynomial system that corresponds to finding the h, e, f triple:
Starting h, e, f triple. H is computed according to Dynkin, and the coefficients of f are arbitrarily chosen.
More precisely, the chevalley generators participating in f are ordered in the order in which their roots appear, and the coefficients are chosen arbitrarily. More precisely, the n^th coefficient either 1) equals (n-1)^2+1 or 2) equals a hard-coded number that is specific to the given ambient Lie algebra, dynkin index and h element. Whenever a hard-coded coefficient is used, it was selected so it results in fast computations. The selection was discovered through manual experimentation. As of writing, the arbitrary coefficient selection happens
here.
Matrix form of the system we are trying to solve:
The unknown Kostant-Sekiguchi elements.
The polynomial system we need to solve.
h-characteristic: (0, 0, 2, 0, 0, 0, 0, 0)Length of the weight dual to h: 12
Simple basis ambient algebra w.r.t defining h: 8 vectors:
(1, 0, 0, 0, 0, 0, 0, 0), (0, 1, 0, 0, 0, 0, 0, 0), (0, 0, 1, 0, 0, 0, 0, 0), (0, 0, 0, 1, 0, 0, 0, 0), (0, 0, 0, 0, 1, 0, 0, 0), (0, 0, 0, 0, 0, 1, 0, 0), (0, 0, 0, 0, 0, 0, 1, 0), (0, 0, 0, 0, 0, 0, 0, 1)
Number of containing regular semisimple subalgebras: 2
Containing regular semisimple subalgebra number 1:
Containing regular semisimple subalgebra number 2:
-module decomposition of the ambient Lie algebra:
Below is one possible realization of the sl(2) subalgebra.
Lie brackets of the above elements.
Centralizer type:
Killing form square of Cartan element dual to ambient long root: 56
Basis of the centralizer (dimension: 24):
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
Basis of centralizer intersected with cartan (dimension: 4):
,
,
,
Cartan of centralizer (dimension: 4):
,
,
,
Cartan-generating semisimple element:
adjoint action:
Characteristic polynomial ad H:
Factorization of characteristic polynomial of ad H: (x )(x )(x )(x )(x -23)(x -15)(x -13)(x -12)(x -11)(x -10)(x -9)(x -8)(x -3)(x -2)(x +2)(x +3)(x +8)(x +9)(x +10)(x +11)(x +12)(x +13)(x +15)(x +23)
Eigenvalues of ad H:
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
24 eigenvectors of ad H:
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
Centralizer type: B^{1}_3+A^{6}_1
Reductive components (2 total):
Scalar product computed:
Simple basis of Cartan of centralizer (3 total):
matching e:
verification:
adjoint action:
matching e:
verification:
adjoint action:
matching e:
verification:
adjoint action:
Linear space basis of intersection of centralizer and ambient Cartan:
matching e:
verification:
adjoint action:
matching e:
verification:
adjoint action:
matching e:
verification:
adjoint action:
Elements in Cartan dual to root system: (2, 1, 1), (-2, -1, -1), (1, 1, 1), (-1, -1, -1), (2, 1, 2), (-2, -1, -2), (1, 1, 0), (-1, -1, 0), (1, 0, 1), (-1, 0, -1), (2, 1, 0), (-2, -1, 0), (1, 0, 0), (-1, 0, 0), (0, 0, 1), (0, 0, -1), (0, 1, 0), (0, -1, 0)
Co-symmetric Cartan Matrix of centralizer, scaled by ambient killing form:
Scalar product computed:
Simple basis of Cartan of centralizer (1 total):
matching e:
verification:
adjoint action:
Linear space basis of intersection of centralizer and ambient Cartan:
matching e:
verification:
adjoint action:
Elements in Cartan dual to root system: (1), (-1)
Co-symmetric Cartan Matrix of centralizer, scaled by ambient killing form:
Unfold the hidden panel for more information.
Unknown elements.
Participating positive roots: 0 vectors. .
Lie brackets of the unknowns.
The polynomial system that corresponds to finding the h, e, f triple:
Starting h, e, f triple. H is computed according to Dynkin, and the coefficients of f are arbitrarily chosen.
More precisely, the chevalley generators participating in f are ordered in the order in which their roots appear, and the coefficients are chosen arbitrarily. More precisely, the n^th coefficient either 1) equals (n-1)^2+1 or 2) equals a hard-coded number that is specific to the given ambient Lie algebra, dynkin index and h element. Whenever a hard-coded coefficient is used, it was selected so it results in fast computations. The selection was discovered through manual experimentation. As of writing, the arbitrary coefficient selection happens
here.
Matrix form of the system we are trying to solve:
The unknown Kostant-Sekiguchi elements.
The polynomial system we need to solve.
h-characteristic: (1, 0, 0, 0, 0, 0, 1, 1)Length of the weight dual to h: 10
Simple basis ambient algebra w.r.t defining h: 8 vectors:
(1, 0, 0, 0, 0, 0, 0, 0), (0, 1, 0, 0, 0, 0, 0, 0), (0, 0, 1, 0, 0, 0, 0, 0), (0, 0, 0, 1, 0, 0, 0, 0), (0, 0, 0, 0, 1, 0, 0, 0), (0, 0, 0, 0, 0, 1, 0, 0), (0, 0, 0, 0, 0, 0, 1, 0), (0, 0, 0, 0, 0, 0, 0, 1)
Containing regular semisimple subalgebra number 1:
-module decomposition of the ambient Lie algebra:
Below is one possible realization of the sl(2) subalgebra.
Lie brackets of the above elements.
Centralizer type:
Killing form square of Cartan element dual to ambient long root: 56
Basis of the centralizer (dimension: 21):
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
Basis of centralizer intersected with cartan (dimension: 3):
,
,
Cartan of centralizer (dimension: 3):
,
,
Cartan-generating semisimple element:
adjoint action:
Characteristic polynomial ad H:
Factorization of characteristic polynomial of ad H: (x )(x )(x )(x -18)(x -16)(x -14)(x -10)(x -8)(x -8)(x -6)(x -2)(x -2)(x +2)(x +2)(x +6)(x +8)(x +8)(x +10)(x +14)(x +16)(x +18)
Eigenvalues of ad H:
,
,
,
,
,
,
,
,
,
,
,
,
,
,
21 eigenvectors of ad H:
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
Centralizer type: C^{1}_3
Reductive components (1 total):
Scalar product computed:
Simple basis of Cartan of centralizer (3 total):
matching e:
verification:
adjoint action:
matching e:
verification:
adjoint action:
matching e:
verification:
adjoint action:
Linear space basis of intersection of centralizer and ambient Cartan:
matching e:
verification:
adjoint action:
matching e:
verification:
adjoint action:
matching e:
verification:
adjoint action:
Elements in Cartan dual to root system: (1, 1, 1), (-1, -1, -1), (2, 1, 2), (-2, -1, -2), (1, 0, 1), (-1, 0, -1), (1, 1, 2), (-1, -1, -2), (1, 1, 0), (-1, -1, 0), (1, 0, 2), (-1, 0, -2), (1, 0, 0), (-1, 0, 0), (0, 0, 1), (0, 0, -1), (0, 1, 0), (0, -1, 0)
Co-symmetric Cartan Matrix of centralizer, scaled by ambient killing form:
Unfold the hidden panel for more information.
Unknown elements.
Participating positive roots: 0 vectors. .
Lie brackets of the unknowns.
The polynomial system that corresponds to finding the h, e, f triple:
Starting h, e, f triple. H is computed according to Dynkin, and the coefficients of f are arbitrarily chosen.
More precisely, the chevalley generators participating in f are ordered in the order in which their roots appear, and the coefficients are chosen arbitrarily. More precisely, the n^th coefficient either 1) equals (n-1)^2+1 or 2) equals a hard-coded number that is specific to the given ambient Lie algebra, dynkin index and h element. Whenever a hard-coded coefficient is used, it was selected so it results in fast computations. The selection was discovered through manual experimentation. As of writing, the arbitrary coefficient selection happens
here.
Matrix form of the system we are trying to solve:
The unknown Kostant-Sekiguchi elements.
The polynomial system we need to solve.
h-characteristic: (0, 1, 0, 1, 0, 0, 0, 0)Length of the weight dual to h: 10
Simple basis ambient algebra w.r.t defining h: 8 vectors:
(1, 0, 0, 0, 0, 0, 0, 0), (0, 1, 0, 0, 0, 0, 0, 0), (0, 0, 1, 0, 0, 0, 0, 0), (0, 0, 0, 1, 0, 0, 0, 0), (0, 0, 0, 0, 1, 0, 0, 0), (0, 0, 0, 0, 0, 1, 0, 0), (0, 0, 0, 0, 0, 0, 1, 0), (0, 0, 0, 0, 0, 0, 0, 1)
Number of containing regular semisimple subalgebras: 2
Containing regular semisimple subalgebra number 1:
Containing regular semisimple subalgebra number 2:
-module decomposition of the ambient Lie algebra:
Below is one possible realization of the sl(2) subalgebra.
Lie brackets of the above elements.
Centralizer type:
Unfold the hidden panel for more information.
Unknown elements.
Participating positive roots: 0 vectors. .
Lie brackets of the unknowns.
The polynomial system that corresponds to finding the h, e, f triple:
Starting h, e, f triple. H is computed according to Dynkin, and the coefficients of f are arbitrarily chosen.
More precisely, the chevalley generators participating in f are ordered in the order in which their roots appear, and the coefficients are chosen arbitrarily. More precisely, the n^th coefficient either 1) equals (n-1)^2+1 or 2) equals a hard-coded number that is specific to the given ambient Lie algebra, dynkin index and h element. Whenever a hard-coded coefficient is used, it was selected so it results in fast computations. The selection was discovered through manual experimentation. As of writing, the arbitrary coefficient selection happens
here.
Matrix form of the system we are trying to solve:
The unknown Kostant-Sekiguchi elements.
The polynomial system we need to solve.
h-characteristic: (0, 0, 0, 0, 0, 0, 2, 0)Length of the weight dual to h: 8
Simple basis ambient algebra w.r.t defining h: 8 vectors:
(1, 0, 0, 0, 0, 0, 0, 0), (0, 1, 0, 0, 0, 0, 0, 0), (0, 0, 1, 0, 0, 0, 0, 0), (0, 0, 0, 1, 0, 0, 0, 0), (0, 0, 0, 0, 1, 0, 0, 0), (0, 0, 0, 0, 0, 1, 0, 0), (0, 0, 0, 0, 0, 0, 1, 0), (0, 0, 0, 0, 0, 0, 0, 1)
Containing regular semisimple subalgebra number 1:
-module decomposition of the ambient Lie algebra:
Below is one possible realization of the sl(2) subalgebra.
Lie brackets of the above elements.
Centralizer type:
Killing form square of Cartan element dual to ambient long root: 56
Basis of the centralizer (dimension: 36):
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
Basis of centralizer intersected with cartan (dimension: 4):
,
,
,
Cartan of centralizer (dimension: 4):
,
,
,
Cartan-generating semisimple element:
adjoint action:
Characteristic polynomial ad H:
Factorization of characteristic polynomial of ad H: (x )(x )(x )(x )(x -18)(x -16)(x -14)(x -14)(x -12)(x -10)(x -10)(x -8)(x -8)(x -6)(x -6)(x -4)(x -4)(x -2)(x -2)(x -2)(x +2)(x +2)(x +2)(x +4)(x +4)(x +6)(x +6)(x +8)(x +8)(x +10)(x +10)(x +12)(x +14)(x +14)(x +16)(x +18)
Eigenvalues of ad H:
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
36 eigenvectors of ad H:
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
Centralizer type: C^{1}_4
Reductive components (1 total):
Scalar product computed:
Simple basis of Cartan of centralizer (4 total):
matching e:
verification:
adjoint action:
matching e:
verification:
adjoint action:
matching e:
verification:
adjoint action:
matching e:
verification:
adjoint action:
Linear space basis of intersection of centralizer and ambient Cartan:
matching e:
verification:
adjoint action:
matching e:
verification:
adjoint action:
matching e:
verification:
adjoint action:
matching e:
verification:
adjoint action:
Elements in Cartan dual to root system: (1, 1, 1, 1), (-1, -1, -1, -1), (2, 2, 2, 1), (-2, -2, -2, -1), (2, 2, 1, 1), (-2, -2, -1, -1), (1, 1, 1, 0), (-1, -1, -1, 0), (2, 2, 1, 0), (-2, -2, -1, 0), (1, 1, 0, 0), (-1, -1, 0, 0), (1, 2, 1, 1), (-1, -2, -1, -1), (1, 2, 1, 0), (-1, -2, -1, 0), (1, 0, 1, 1), (-1, 0, -1, -1), (1, 2, 0, 0), (-1, -2, 0, 0), (1, 0, 1, 0), (-1, 0, -1, 0), (1, 0, 0, 0), (-1, 0, 0, 0), (0, 0, 1, 1), (0, 0, -1, -1), (0, 0, 1, 0), (0, 0, -1, 0), (0, 0, 0, 1), (0, 0, 0, -1), (0, 1, 0, 0), (0, -1, 0, 0)
Co-symmetric Cartan Matrix of centralizer, scaled by ambient killing form:
Unfold the hidden panel for more information.
Unknown elements.
Participating positive roots: 0 vectors. .
Lie brackets of the unknowns.
The polynomial system that corresponds to finding the h, e, f triple:
Starting h, e, f triple. H is computed according to Dynkin, and the coefficients of f are arbitrarily chosen.
More precisely, the chevalley generators participating in f are ordered in the order in which their roots appear, and the coefficients are chosen arbitrarily. More precisely, the n^th coefficient either 1) equals (n-1)^2+1 or 2) equals a hard-coded number that is specific to the given ambient Lie algebra, dynkin index and h element. Whenever a hard-coded coefficient is used, it was selected so it results in fast computations. The selection was discovered through manual experimentation. As of writing, the arbitrary coefficient selection happens
here.
Matrix form of the system we are trying to solve:
The unknown Kostant-Sekiguchi elements.
The polynomial system we need to solve.
h-characteristic: (1, 0, 0, 0, 1, 0, 0, 0)Length of the weight dual to h: 8
Simple basis ambient algebra w.r.t defining h: 8 vectors:
(1, 0, 0, 0, 0, 0, 0, 0), (0, 1, 0, 0, 0, 0, 0, 0), (0, 0, 1, 0, 0, 0, 0, 0), (0, 0, 0, 1, 0, 0, 0, 0), (0, 0, 0, 0, 1, 0, 0, 0), (0, 0, 0, 0, 0, 1, 0, 0), (0, 0, 0, 0, 0, 0, 1, 0), (0, 0, 0, 0, 0, 0, 0, 1)
Containing regular semisimple subalgebra number 1:
-module decomposition of the ambient Lie algebra:
Below is one possible realization of the sl(2) subalgebra.
Lie brackets of the above elements.
Centralizer type:
Killing form square of Cartan element dual to ambient long root: 56
Basis of the centralizer (dimension: 20):
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
Basis of centralizer intersected with cartan (dimension: 4):
,
,
,
Cartan of centralizer (dimension: 4):
,
,
,
Cartan-generating semisimple element:
adjoint action:
Characteristic polynomial ad H:
Factorization of characteristic polynomial of ad H: (x )(x )(x )(x )(x -18)(x -14)(x -12)(x -10)(x -10)(x -8)(x -2)(x -2)(x +2)(x +2)(x +8)(x +10)(x +10)(x +12)(x +14)(x +18)
Eigenvalues of ad H:
,
,
,
,
,
,
,
,
,
,
,
,
20 eigenvectors of ad H:
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
Centralizer type: 2B^{1}_2
Reductive components (2 total):
Scalar product computed:
Simple basis of Cartan of centralizer (2 total):
matching e:
verification:
adjoint action:
matching e:
verification:
adjoint action:
Linear space basis of intersection of centralizer and ambient Cartan:
matching e:
verification:
adjoint action:
matching e:
verification:
adjoint action:
Elements in Cartan dual to root system: (1, 1), (-1, -1), (1, 2), (-1, -2), (1, 0), (-1, 0), (0, 1), (0, -1)
Co-symmetric Cartan Matrix of centralizer, scaled by ambient killing form:
Scalar product computed:
Simple basis of Cartan of centralizer (2 total):
matching e:
verification:
adjoint action:
matching e:
verification:
adjoint action:
Linear space basis of intersection of centralizer and ambient Cartan:
matching e:
verification:
adjoint action:
matching e:
verification:
adjoint action:
Elements in Cartan dual to root system: (1, 1), (-1, -1), (2, 1), (-2, -1), (1, 0), (-1, 0), (0, 1), (0, -1)
Co-symmetric Cartan Matrix of centralizer, scaled by ambient killing form:
Unfold the hidden panel for more information.
Unknown elements.
Participating positive roots: 0 vectors. .
Lie brackets of the unknowns.
The polynomial system that corresponds to finding the h, e, f triple:
Starting h, e, f triple. H is computed according to Dynkin, and the coefficients of f are arbitrarily chosen.
More precisely, the chevalley generators participating in f are ordered in the order in which their roots appear, and the coefficients are chosen arbitrarily. More precisely, the n^th coefficient either 1) equals (n-1)^2+1 or 2) equals a hard-coded number that is specific to the given ambient Lie algebra, dynkin index and h element. Whenever a hard-coded coefficient is used, it was selected so it results in fast computations. The selection was discovered through manual experimentation. As of writing, the arbitrary coefficient selection happens
here.
Matrix form of the system we are trying to solve:
The unknown Kostant-Sekiguchi elements.
The polynomial system we need to solve.
h-characteristic: (0, 2, 0, 0, 0, 0, 0, 0)Length of the weight dual to h: 8
Simple basis ambient algebra w.r.t defining h: 8 vectors:
(1, 0, 0, 0, 0, 0, 0, 0), (0, 1, 0, 0, 0, 0, 0, 0), (0, 0, 1, 0, 0, 0, 0, 0), (0, 0, 0, 1, 0, 0, 0, 0), (0, 0, 0, 0, 1, 0, 0, 0), (0, 0, 0, 0, 0, 1, 0, 0), (0, 0, 0, 0, 0, 0, 1, 0), (0, 0, 0, 0, 0, 0, 0, 1)
Number of containing regular semisimple subalgebras: 2
Containing regular semisimple subalgebra number 1:
Containing regular semisimple subalgebra number 2:
-module decomposition of the ambient Lie algebra:
Below is one possible realization of the sl(2) subalgebra.
Lie brackets of the above elements.
Centralizer type:
Unfold the hidden panel for more information.
Unknown elements.
Participating positive roots: 0 vectors. .
Lie brackets of the unknowns.
The polynomial system that corresponds to finding the h, e, f triple:
Starting h, e, f triple. H is computed according to Dynkin, and the coefficients of f are arbitrarily chosen.
More precisely, the chevalley generators participating in f are ordered in the order in which their roots appear, and the coefficients are chosen arbitrarily. More precisely, the n^th coefficient either 1) equals (n-1)^2+1 or 2) equals a hard-coded number that is specific to the given ambient Lie algebra, dynkin index and h element. Whenever a hard-coded coefficient is used, it was selected so it results in fast computations. The selection was discovered through manual experimentation. As of writing, the arbitrary coefficient selection happens
here.
Matrix form of the system we are trying to solve:
The unknown Kostant-Sekiguchi elements.
The polynomial system we need to solve.
h-characteristic: (1, 0, 1, 0, 0, 0, 0, 0)Length of the weight dual to h: 6
Simple basis ambient algebra w.r.t defining h: 8 vectors:
(1, 0, 0, 0, 0, 0, 0, 0), (0, 1, 0, 0, 0, 0, 0, 0), (0, 0, 1, 0, 0, 0, 0, 0), (0, 0, 0, 1, 0, 0, 0, 0), (0, 0, 0, 0, 1, 0, 0, 0), (0, 0, 0, 0, 0, 1, 0, 0), (0, 0, 0, 0, 0, 0, 1, 0), (0, 0, 0, 0, 0, 0, 0, 1)
Containing regular semisimple subalgebra number 1:
-module decomposition of the ambient Lie algebra:
Below is one possible realization of the sl(2) subalgebra.
Lie brackets of the above elements.
Centralizer type:
Killing form square of Cartan element dual to ambient long root: 56
Basis of the centralizer (dimension: 39):
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
Basis of centralizer intersected with cartan (dimension: 5):
,
,
,
,
Cartan of centralizer (dimension: 5):
,
,
,
,
Cartan-generating semisimple element:
adjoint action:
Characteristic polynomial ad H:
Factorization of characteristic polynomial of ad H: (x )(x )(x )(x )(x )(x -23)(x -22)(x -21)(x -18)(x -15)(x -14)(x -13)(x -12)(x -11)(x -10)(x -9)(x -8)(x -7)(x -3)(x -2)(x -1)(x -1)(x +1)(x +1)(x +2)(x +3)(x +7)(x +8)(x +9)(x +10)(x +11)(x +12)(x +13)(x +14)(x +15)(x +18)(x +21)(x +22)(x +23)
Eigenvalues of ad H:
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
39 eigenvectors of ad H:
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
Centralizer type: B^{1}_4+A^{1}_1
Reductive components (2 total):
Scalar product computed:
Simple basis of Cartan of centralizer (4 total):
matching e:
verification:
adjoint action:
matching e:
verification:
adjoint action:
matching e:
verification:
adjoint action:
matching e:
verification:
adjoint action:
Linear space basis of intersection of centralizer and ambient Cartan:
matching e:
verification:
adjoint action:
matching e:
verification:
adjoint action:
matching e:
verification:
adjoint action:
matching e:
verification:
adjoint action:
Elements in Cartan dual to root system: (2, 1, 1, 2), (-2, -1, -1, -2), (2, 1, 1, 1), (-2, -1, -1, -1), (2, 0, 1, 1), (-2, 0, -1, -1), (1, 1, 1, 1), (-1, -1, -1, -1), (1, 0, 1, 1), (-1, 0, -1, -1), (1, 0, 1, 0), (-1, 0, -1, 0), (2, 2, 1, 2), (-2, -2, -1, -2), (2, 0, 1, 2), (-2, 0, -1, -2), (2, 0, 1, 0), (-2, 0, -1, 0), (1, 1, 0, 1), (-1, -1, 0, -1), (1, 0, 0, 1), (-1, 0, 0, -1), (1, 0, 0, 0), (-1, 0, 0, 0), (0, 0, 1, 0), (0, 0, -1, 0), (0, 1, 0, 1), (0, -1, 0, -1), (0, 0, 0, 1), (0, 0, 0, -1), (0, 1, 0, 0), (0, -1, 0, 0)
Co-symmetric Cartan Matrix of centralizer, scaled by ambient killing form:
Scalar product computed:
Simple basis of Cartan of centralizer (1 total):
matching e:
verification:
adjoint action:
Linear space basis of intersection of centralizer and ambient Cartan:
matching e:
verification:
adjoint action:
Elements in Cartan dual to root system: (1), (-1)
Co-symmetric Cartan Matrix of centralizer, scaled by ambient killing form:
Unfold the hidden panel for more information.
Unknown elements.
Participating positive roots: 0 vectors. .
Lie brackets of the unknowns.
The polynomial system that corresponds to finding the h, e, f triple:
Starting h, e, f triple. H is computed according to Dynkin, and the coefficients of f are arbitrarily chosen.
More precisely, the chevalley generators participating in f are ordered in the order in which their roots appear, and the coefficients are chosen arbitrarily. More precisely, the n^th coefficient either 1) equals (n-1)^2+1 or 2) equals a hard-coded number that is specific to the given ambient Lie algebra, dynkin index and h element. Whenever a hard-coded coefficient is used, it was selected so it results in fast computations. The selection was discovered through manual experimentation. As of writing, the arbitrary coefficient selection happens
here.
Matrix form of the system we are trying to solve:
The unknown Kostant-Sekiguchi elements.
The polynomial system we need to solve.
h-characteristic: (0, 0, 0, 0, 0, 1, 0, 0)Length of the weight dual to h: 6
Simple basis ambient algebra w.r.t defining h: 8 vectors:
(1, 0, 0, 0, 0, 0, 0, 0), (0, 1, 0, 0, 0, 0, 0, 0), (0, 0, 1, 0, 0, 0, 0, 0), (0, 0, 0, 1, 0, 0, 0, 0), (0, 0, 0, 0, 1, 0, 0, 0), (0, 0, 0, 0, 0, 1, 0, 0), (0, 0, 0, 0, 0, 0, 1, 0), (0, 0, 0, 0, 0, 0, 0, 1)
Containing regular semisimple subalgebra number 1:
-module decomposition of the ambient Lie algebra:
Below is one possible realization of the sl(2) subalgebra.
Lie brackets of the above elements.
Centralizer type:
Killing form square of Cartan element dual to ambient long root: 56
Basis of the centralizer (dimension: 27):
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
Basis of centralizer intersected with cartan (dimension: 5):
,
,
,
,
Cartan of centralizer (dimension: 5):
,
,
,
,
Cartan-generating semisimple element:
adjoint action:
Characteristic polynomial ad H:
Factorization of characteristic polynomial of ad H: (x )(x )(x )(x )(x )(x -22)(x -18)(x -16)(x -14)(x -14)(x -12)(x -10)(x -4)(x -2)(x -2)(x -2)(x +2)(x +2)(x +2)(x +4)(x +10)(x +12)(x +14)(x +14)(x +16)(x +18)(x +22)
Eigenvalues of ad H:
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
27 eigenvectors of ad H:
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
Centralizer type: C^{1}_3+2A^{1}_1
Reductive components (3 total):
Scalar product computed:
Simple basis of Cartan of centralizer (1 total):
matching e:
verification:
adjoint action:
Linear space basis of intersection of centralizer and ambient Cartan:
matching e:
verification:
adjoint action:
Elements in Cartan dual to root system: (1), (-1)
Co-symmetric Cartan Matrix of centralizer, scaled by ambient killing form:
Scalar product computed:
Simple basis of Cartan of centralizer (3 total):
matching e:
verification:
adjoint action:
matching e:
verification:
adjoint action:
matching e:
verification:
adjoint action:
Linear space basis of intersection of centralizer and ambient Cartan:
matching e:
verification:
adjoint action:
matching e:
verification:
adjoint action:
matching e:
verification:
adjoint action:
Elements in Cartan dual to root system: (1, 1, 1), (-1, -1, -1), (2, 1, 2), (-2, -1, -2), (1, 0, 1), (-1, 0, -1), (2, 1, 1), (-2, -1, -1), (2, 0, 1), (-2, 0, -1), (1, 0, 0), (-1, 0, 0), (0, 1, 1), (0, -1, -1), (0, 0, 1), (0, 0, -1), (0, 1, 0), (0, -1, 0)
Co-symmetric Cartan Matrix of centralizer, scaled by ambient killing form:
Scalar product computed:
Simple basis of Cartan of centralizer (1 total):
matching e:
verification:
adjoint action:
Linear space basis of intersection of centralizer and ambient Cartan:
matching e:
verification:
adjoint action:
Elements in Cartan dual to root system: (1), (-1)
Co-symmetric Cartan Matrix of centralizer, scaled by ambient killing form:
Unfold the hidden panel for more information.
Unknown elements.
Participating positive roots: 0 vectors. .
Lie brackets of the unknowns.
The polynomial system that corresponds to finding the h, e, f triple:
Starting h, e, f triple. H is computed according to Dynkin, and the coefficients of f are arbitrarily chosen.
More precisely, the chevalley generators participating in f are ordered in the order in which their roots appear, and the coefficients are chosen arbitrarily. More precisely, the n^th coefficient either 1) equals (n-1)^2+1 or 2) equals a hard-coded number that is specific to the given ambient Lie algebra, dynkin index and h element. Whenever a hard-coded coefficient is used, it was selected so it results in fast computations. The selection was discovered through manual experimentation. As of writing, the arbitrary coefficient selection happens
here.
Matrix form of the system we are trying to solve:
The unknown Kostant-Sekiguchi elements.
The polynomial system we need to solve.
h-characteristic: (2, 0, 0, 0, 0, 0, 0, 0)Length of the weight dual to h: 4
Simple basis ambient algebra w.r.t defining h: 8 vectors:
(1, 0, 0, 0, 0, 0, 0, 0), (0, 1, 0, 0, 0, 0, 0, 0), (0, 0, 1, 0, 0, 0, 0, 0), (0, 0, 0, 1, 0, 0, 0, 0), (0, 0, 0, 0, 1, 0, 0, 0), (0, 0, 0, 0, 0, 1, 0, 0), (0, 0, 0, 0, 0, 0, 1, 0), (0, 0, 0, 0, 0, 0, 0, 1)
Containing regular semisimple subalgebra number 1:
-module decomposition of the ambient Lie algebra:
Below is one possible realization of the sl(2) subalgebra.
Lie brackets of the above elements.
Centralizer type:
Killing form square of Cartan element dual to ambient long root: 56
Basis of the centralizer (dimension: 78):
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
Basis of centralizer intersected with cartan (dimension: 6):
,
,
,
,
,
Cartan of centralizer (dimension: 6):
,
,
,
,
,
Cartan-generating semisimple element:
adjoint action:
Characteristic polynomial ad H:
Factorization of characteristic polynomial of ad H: (x )(x )(x )(x )(x )(x )(x -26)(x -25)(x -20)(x -19)(x -18)(x -17)(x -17)(x -16)(x -15)(x -14)(x -12)(x -11)(x -11)(x -10)(x -10)(x -9)(x -9)(x -9)(x -8)(x -8)(x -8)(x -7)(x -7)(x -6)(x -6)(x -5)(x -5)(x -4)(x -3)(x -3)(x -2)(x -2)(x -1)(x -1)(x -1)(x -1)(x +1)(x +1)(x +1)(x +1)(x +2)(x +2)(x +3)(x +3)(x +4)(x +5)(x +5)(x +6)(x +6)(x +7)(x +7)(x +8)(x +8)(x +8)(x +9)(x +9)(x +9)(x +10)(x +10)(x +11)(x +11)(x +12)(x +14)(x +15)(x +16)(x +17)(x +17)(x +18)(x +19)(x +20)(x +25)(x +26)
Eigenvalues of ad H:
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
78 eigenvectors of ad H:
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
Centralizer type: B^{1}_6
Reductive components (1 total):
Scalar product computed:
Simple basis of Cartan of centralizer (6 total):
matching e:
verification:
adjoint action:
matching e:
verification:
adjoint action:
matching e:
verification:
adjoint action:
matching e:
verification:
adjoint action:
matching e:
verification:
adjoint action:
matching e:
verification:
adjoint action:
Linear space basis of intersection of centralizer and ambient Cartan:
matching e:
verification:
adjoint action:
matching e:
verification:
adjoint action:
matching e:
verification:
adjoint action:
matching e:
verification:
adjoint action:
matching e:
verification:
adjoint action:
matching e:
verification:
adjoint action:
Elements in Cartan dual to root system: (1, 2, 2, 2, 1, 2), (-1, -2, -2, -2, -1, -2), (1, 1, 2, 2, 1, 2), (-1, -1, -2, -2, -1, -2), (1, 1, 1, 2, 1, 2), (-1, -1, -1, -2, -1, -2), (1, 1, 1, 1, 1, 2), (-1, -1, -1, -1, -1, -2), (1, 1, 1, 1, 1, 1), (-1, -1, -1, -1, -1, -1), (0, 1, 2, 2, 1, 2), (0, -1, -2, -2, -1, -2), (2, 2, 2, 2, 1, 2), (-2, -2, -2, -2, -1, -2), (1, 1, 1, 1, 0, 1), (-1, -1, -1, -1, 0, -1), (1, 1, 1, 1, 0, 0), (-1, -1, -1, -1, 0, 0), (1, 1, 1, 0, 0, 0), (-1, -1, -1, 0, 0, 0), (0, 1, 1, 2, 1, 2), (0, -1, -1, -2, -1, -2), (0, 0, 1, 2, 1, 2), (0, 0, -1, -2, -1, -2), (0, 1, 1, 1, 1, 2), (0, -1, -1, -1, -1, -2), (0, 1, 1, 1, 1, 1), (0, -1, -1, -1, -1, -1), (0, 0, 1, 1, 1, 2), (0, 0, -1, -1, -1, -2), (0, 0, 1, 1, 1, 1), (0, 0, -1, -1, -1, -1), (0, 2, 2, 2, 1, 2), (0, -2, -2, -2, -1, -2), (1, 1, 0, 0, 0, 0), (-1, -1, 0, 0, 0, 0), (0, 1, 1, 1, 0, 1), (0, -1, -1, -1, 0, -1), (1, 0, 0, 0, 0, 0), (-1, 0, 0, 0, 0, 0), (0, 0, 2, 2, 1, 2), (0, 0, -2, -2, -1, -2), (0, 0, 1, 1, 0, 1), (0, 0, -1, -1, 0, -1), (0, 1, 1, 1, 0, 0), (0, -1, -1, -1, 0, 0), (0, 1, 1, 0, 0, 0), (0, -1, -1, 0, 0, 0), (0, 0, 1, 1, 0, 0), (0, 0, -1, -1, 0, 0), (0, 0, 1, 0, 0, 0), (0, 0, -1, 0, 0, 0), (0, 0, 0, 1, 1, 2), (0, 0, 0, -1, -1, -2), (0, 0, 0, 1, 1, 1), (0, 0, 0, -1, -1, -1), (0, 0, 0, 0, 1, 1), (0, 0, 0, 0, -1, -1), (0, 0, 0, 2, 1, 2), (0, 0, 0, -2, -1, -2), (0, 0, 0, 1, 0, 1), (0, 0, 0, -1, 0, -1), (0, 0, 0, 0, 1, 2), (0, 0, 0, 0, -1, -2), (0, 0, 0, 0, 1, 0), (0, 0, 0, 0, -1, 0), (0, 0, 0, 0, 0, 1), (0, 0, 0, 0, 0, -1), (0, 0, 0, 1, 0, 0), (0, 0, 0, -1, 0, 0), (0, 1, 0, 0, 0, 0), (0, -1, 0, 0, 0, 0)
Co-symmetric Cartan Matrix of centralizer, scaled by ambient killing form:
Unfold the hidden panel for more information.
Unknown elements.
Participating positive roots: 0 vectors. .
Lie brackets of the unknowns.
The polynomial system that corresponds to finding the h, e, f triple:
Starting h, e, f triple. H is computed according to Dynkin, and the coefficients of f are arbitrarily chosen.
More precisely, the chevalley generators participating in f are ordered in the order in which their roots appear, and the coefficients are chosen arbitrarily. More precisely, the n^th coefficient either 1) equals (n-1)^2+1 or 2) equals a hard-coded number that is specific to the given ambient Lie algebra, dynkin index and h element. Whenever a hard-coded coefficient is used, it was selected so it results in fast computations. The selection was discovered through manual experimentation. As of writing, the arbitrary coefficient selection happens
here.
Matrix form of the system we are trying to solve:
The unknown Kostant-Sekiguchi elements.
The polynomial system we need to solve.
h-characteristic: (0, 0, 0, 1, 0, 0, 0, 0)Length of the weight dual to h: 4
Simple basis ambient algebra w.r.t defining h: 8 vectors:
(1, 0, 0, 0, 0, 0, 0, 0), (0, 1, 0, 0, 0, 0, 0, 0), (0, 0, 1, 0, 0, 0, 0, 0), (0, 0, 0, 1, 0, 0, 0, 0), (0, 0, 0, 0, 1, 0, 0, 0), (0, 0, 0, 0, 0, 1, 0, 0), (0, 0, 0, 0, 0, 0, 1, 0), (0, 0, 0, 0, 0, 0, 0, 1)
Containing regular semisimple subalgebra number 1:
-module decomposition of the ambient Lie algebra:
Below is one possible realization of the sl(2) subalgebra.
Lie brackets of the above elements.
Centralizer type:
Killing form square of Cartan element dual to ambient long root: 56
Basis of the centralizer (dimension: 38):
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
Basis of centralizer intersected with cartan (dimension: 6):
,
,
,
,
,
Cartan of centralizer (dimension: 6):
,
,
,
,
,
Cartan-generating semisimple element:
adjoint action:
Characteristic polynomial ad H:
Factorization of characteristic polynomial of ad H: (x )(x )(x )(x )(x )(x )(x -19)(x -18)(x -18)(x -17)(x -15)(x -14)(x -13)(x -10)(x -8)(x -5)(x -4)(x -3)(x -2)(x -2)(x -1)(x -1)(x +1)(x +1)(x +2)(x +2)(x +3)(x +4)(x +5)(x +8)(x +10)(x +13)(x +14)(x +15)(x +17)(x +18)(x +18)(x +19)
Eigenvalues of ad H:
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
38 eigenvectors of ad H:
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
Centralizer type: D^{1}_4+B^{1}_2
Reductive components (2 total):
Scalar product computed:
Simple basis of Cartan of centralizer (4 total):
matching e:
verification:
adjoint action:
matching e:
verification:
adjoint action:
matching e:
verification:
adjoint action:
matching e:
verification:
adjoint action:
Linear space basis of intersection of centralizer and ambient Cartan:
matching e:
verification:
adjoint action:
matching e:
verification:
adjoint action:
matching e:
verification:
adjoint action:
matching e:
verification:
adjoint action:
Elements in Cartan dual to root system: (1, 2, 1, 1), (-1, -2, -1, -1), (1, 1, 1, 1), (-1, -1, -1, -1), (1, 1, 1, 0), (-1, -1, -1, 0), (1, 1, 0, 1), (-1, -1, 0, -1), (1, 1, 0, 0), (-1, -1, 0, 0), (1, 0, 0, 0), (-1, 0, 0, 0), (0, 1, 1, 1), (0, -1, -1, -1), (0, 1, 1, 0), (0, -1, -1, 0), (0, 0, 1, 0), (0, 0, -1, 0), (0, 1, 0, 1), (0, -1, 0, -1), (0, 0, 0, 1), (0, 0, 0, -1), (0, 1, 0, 0), (0, -1, 0, 0)
Co-symmetric Cartan Matrix of centralizer, scaled by ambient killing form:
Scalar product computed:
Simple basis of Cartan of centralizer (2 total):
matching e:
verification:
adjoint action:
matching e:
verification:
adjoint action:
Linear space basis of intersection of centralizer and ambient Cartan:
matching e:
verification:
adjoint action:
matching e:
verification:
adjoint action:
Elements in Cartan dual to root system: (1, 1), (-1, -1), (1, 2), (-1, -2), (1, 0), (-1, 0), (0, 1), (0, -1)
Co-symmetric Cartan Matrix of centralizer, scaled by ambient killing form:
Unfold the hidden panel for more information.
Unknown elements.
Participating positive roots: 0 vectors. .
Lie brackets of the unknowns.
The polynomial system that corresponds to finding the h, e, f triple:
Starting h, e, f triple. H is computed according to Dynkin, and the coefficients of f are arbitrarily chosen.
More precisely, the chevalley generators participating in f are ordered in the order in which their roots appear, and the coefficients are chosen arbitrarily. More precisely, the n^th coefficient either 1) equals (n-1)^2+1 or 2) equals a hard-coded number that is specific to the given ambient Lie algebra, dynkin index and h element. Whenever a hard-coded coefficient is used, it was selected so it results in fast computations. The selection was discovered through manual experimentation. As of writing, the arbitrary coefficient selection happens
here.
Matrix form of the system we are trying to solve:
The unknown Kostant-Sekiguchi elements.
The polynomial system we need to solve.
h-characteristic: (0, 1, 0, 0, 0, 0, 0, 0)Length of the weight dual to h: 2
Simple basis ambient algebra w.r.t defining h: 8 vectors:
(1, 0, 0, 0, 0, 0, 0, 0), (0, 1, 0, 0, 0, 0, 0, 0), (0, 0, 1, 0, 0, 0, 0, 0), (0, 0, 0, 1, 0, 0, 0, 0), (0, 0, 0, 0, 1, 0, 0, 0), (0, 0, 0, 0, 0, 1, 0, 0), (0, 0, 0, 0, 0, 0, 1, 0), (0, 0, 0, 0, 0, 0, 0, 1)
Containing regular semisimple subalgebra number 1:
-module decomposition of the ambient Lie algebra:
Below is one possible realization of the sl(2) subalgebra.
Lie brackets of the above elements.
Centralizer type:
Unfold the hidden panel for more information.
Unknown elements.
Participating positive roots: 0 vectors. .
Lie brackets of the unknowns.
The polynomial system that corresponds to finding the h, e, f triple:
Starting h, e, f triple. H is computed according to Dynkin, and the coefficients of f are arbitrarily chosen.
More precisely, the chevalley generators participating in f are ordered in the order in which their roots appear, and the coefficients are chosen arbitrarily. More precisely, the n^th coefficient either 1) equals (n-1)^2+1 or 2) equals a hard-coded number that is specific to the given ambient Lie algebra, dynkin index and h element. Whenever a hard-coded coefficient is used, it was selected so it results in fast computations. The selection was discovered through manual experimentation. As of writing, the arbitrary coefficient selection happens
here.
Matrix form of the system we are trying to solve:
The unknown Kostant-Sekiguchi elements.
The polynomial system we need to solve.